fix compile error

f99fb006 · Alexander Weigl · b732a269 · f99fb006
Commit f99fb006 authored Nov 02, 2017 by Alexander Weigl
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/SequentView.java ...va/edu/kit/iti/formal/psdbg/gui/controls/SequentView.java +3 -2

No files found.
--- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/SequentView.java
+++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/SequentView.java
@@ -130,8 +130,9 @@ public class SequentView extends CodeArea {
        NamespaceSet nss = services.getNamespaces();

        Sequent sequent = node.get().sequent();
-        filter = new IdentitySequentPrintFilter(sequent);
-        //filter.setSequent(sequent);
+        //Sarah, wenn du das hier liest wirst du festgestellt haben, dass wir auf zwei verschiedene KeY-Versionen arbeiten.
+        filter = new IdentitySequentPrintFilter();
+        filter.setSequent(sequent);

        ProgramPrinter prgPrinter = new ProgramPrinter(new StringWriter());
        this.backend = new LogicPrinter.PosTableStringBackend(80);