java.lang.NullPointerException

GitHub | gebner | 8 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    GitHub comment 533#230093997

    GitHub | 8 months ago | gebner
    java.lang.NullPointerException

    Root Cause Analysis

    1. java.lang.NullPointerException

      No message provided

      at scala.swing.RootPanel$class.contents_$eq()
    2. scala-swing
      Window.contents_$eq
      1. scala.swing.RootPanel$class.contents_$eq(RootPanel.scala:36)
      2. scala.swing.Window.contents_$eq(Window.scala:42)
      2 frames
    3. at.logic.gapt
      prooftool$.apply
      1. at.logic.gapt.prooftool.ProofToolViewer.<init>(ProofToolViewer.scala:120)
      2. at.logic.gapt.prooftool.ScrollableProofToolViewer.<init>(ProofToolViewer.scala:359)
      3. at.logic.gapt.prooftool.DagProofViewer.<init>(SequentProofViewer.scala:23)
      4. at.logic.gapt.prooftool.SequentProofViewer.<init>(SequentProofViewer.scala:36)
      5. at.logic.gapt.prooftool.LKProofViewer.<init>(SequentProofViewer.scala:94)
      6. at.logic.gapt.prooftool.prooftool$.apply(ProofToolViewer.scala:39)
      6 frames