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();
         }