diff --git a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java index a01307f..6ecada4 100644 --- a/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java +++ b/JavaCompilerPlugin/bundles/JavaCompilerPlugin.Plugin/src/typinferenzplugin/editor/JavEditor.java @@ -112,6 +112,7 @@ public class JavEditor extends TextEditor implements UnifyResultListener { public void doSave(IProgressMonitor monitor) { super.doSave(monitor); // Wird aufgerufen, sobald das Dokument gespeichert wird. + typeinference = new Typinferenz(this); this.removeMarkers(); ResultPairMap.RESULT_PAIRS.clear(); this.typeReconstruction();