1 files changed, 4 insertions, 1 deletions

diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts
index abdf8518..d145cd30 100644
--- a/subprojects/frontend/src/xtext/XtextClient.ts
+++ b/subprojects/frontend/src/xtext/XtextClient.ts
@@ -38,7 +38,7 @@ export default class XtextClient {
   private readonly occurrencesService: OccurrencesService;
 
   constructor(
-    store: EditorStore,
+    private readonly store: EditorStore,
     private readonly pwaStore: PWAStore,
   ) {
     this.webSocketClient = new XtextWebSocketClient(
@@ -114,6 +114,9 @@ export default class XtextClient {
       case 'validate':
         this.validationService.onPush(push);
         return;
+      case 'semantics':
+        this.store.setSemantics(push);
+        return;
       default:
         throw new Error('Unknown service');
     }