2 files changed, 6 insertions, 7 deletions

diff --git a/subprojects/frontend/src/editor/EditorStore.ts b/subprojects/frontend/src/editor/EditorStore.ts
index d0b580ed..c5dd5728 100644
--- a/subprojects/frontend/src/editor/EditorStore.ts
+++ b/subprojects/frontend/src/editor/EditorStore.ts
@@ -36,7 +36,7 @@ import {
 } from '../utils/fileIO';
 import getLogger from '../utils/getLogger';
 import type XtextClient from '../xtext/XtextClient';
-import type { SemanticsSuccessResult } from '../xtext/xtextServiceResults';
+import type { SemanticsModelResult } from '../xtext/xtextServiceResults';
 
 import EditorErrors from './EditorErrors';
 import GeneratedModelStore from './GeneratedModelStore';
@@ -365,12 +365,11 @@ export default class EditorStore {
     }
   }
 
-  setSemanticsError(semanticsError: string) {
+  setSemanticsError(semanticsError: string | undefined) {
     this.semanticsError = semanticsError;
   }
 
-  setSemantics(semantics: SemanticsSuccessResult) {
-    this.semanticsError = undefined;
+  setSemantics(semantics: SemanticsModelResult) {
     this.graph.setSemantics(semantics);
   }
 
@@ -447,7 +446,7 @@ export default class EditorStore {
 
   setGeneratedModelSemantics(
     uuid: string,
-    semantics: SemanticsSuccessResult,
+    semantics: SemanticsModelResult,
   ): void {
     this.generatedModels.get(uuid)?.setSemantics(semantics);
   }
diff --git a/subprojects/frontend/src/editor/GeneratedModelStore.ts b/subprojects/frontend/src/editor/GeneratedModelStore.ts
index 4af49e2c..fb9efbcf 100644
--- a/subprojects/frontend/src/editor/GeneratedModelStore.ts
+++ b/subprojects/frontend/src/editor/GeneratedModelStore.ts
@@ -7,7 +7,7 @@
 import { makeAutoObservable } from 'mobx';
 
 import GraphStore from '../graph/GraphStore';
-import type { SemanticsSuccessResult } from '../xtext/xtextServiceResults';
+import type { SemanticsModelResult } from '../xtext/xtextServiceResults';
 
 import type EditorStore from './EditorStore';
 
@@ -48,7 +48,7 @@ export default class GeneratedModelStore {
     }
   }
 
-  setSemantics(semantics: SemanticsSuccessResult): void {
+  setSemantics(semantics: SemanticsModelResult): void {
     if (this.running) {
       const name = `${this.editorStore.simpleNameOrFallback}_solution_${this.randomSeed}`;
       this.graph = new GraphStore(this.editorStore, name);