arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 10:50:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix bug with unification translation

Browse Source
This commit is contained in:
ucrhh 2021-03-14 11:53:10 +01:00
parent 0b780af138
commit 29caff2ead
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java
View File

@ -60,7 +60,7 @@ public class TypeInferenceView extends VerticalLayout
private MathjaxUnification unification; private MathjaxUnification unification;
private MathjaxProofTree tree; private MathjaxProofTree tree = null;
private transient LatexCreator lc; private transient LatexCreator lc;
private final transient TypeInfererInterface typeInferer; private final transient TypeInfererInterface typeInferer;
private final Div content; private final Div content;
@ -109,7 +109,11 @@ public class TypeInferenceView extends VerticalLayout
Div container = new Div(); Div container = new Div();
container.setId(CONTENT_ID2); container.setId(CONTENT_ID2);
unification = new MathjaxUnification(lc.getUnification()); unification = new MathjaxUnification(lc.getUnification());
tree = new MathjaxProofTree(lc.getTree());
if (tree == null) {
tree = new MathjaxProofTree(lc.getTree());
}
Div treeDiv = new Div(); Div treeDiv = new Div();
treeDiv.setId(CONTENT_ID3); treeDiv.setId(CONTENT_ID3);
treeDiv.add(tree, button); treeDiv.add(tree, button);