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

Fix NPE in TypeInferenceView

Browse Source
This commit is contained in:
Arne Keller 2021-03-10 17:09:20 +01:00
parent 3a0ee669d4
commit 5a1aaa8408
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -185,6 +185,7 @@ public class TypeInferenceView extends VerticalLayout
content.removeAll();
lc = new LatexCreator(typeInferer,
error -> getTranslation("root." + error.toString().toLowerCase(Locale.ENGLISH)));
treeNumbers = lc.getTreeNumbers();
setContent();
refreshElements();
}