From 5a1aaa8408b8008f208788bdca64eac0b854ab11 Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Wed, 10 Mar 2021 17:09:20 +0100 Subject: [PATCH] Fix NPE in TypeInferenceView --- .../view/content/typeinferencecontent/TypeInferenceView.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java index ef291f4..167e096 100644 --- a/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java +++ b/src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/TypeInferenceView.java @@ -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(); }