1 files changed, 2 insertions, 2 deletions

diff --git a/language-web/src/main/js/editor/XtextClient.ts b/language-web/src/main/js/editor/XtextClient.ts
index 27ef4165..1c6c0ae6 100644
--- a/language-web/src/main/js/editor/XtextClient.ts
+++ b/language-web/src/main/js/editor/XtextClient.ts
@@ -1,4 +1,4 @@
-import { Diagnostic, setDiagnostics } from '@codemirror/lint';
+import type { Diagnostic } from '@codemirror/lint';
 import {
   ChangeDesc,
   ChangeSet,
@@ -108,7 +108,7 @@ export class XtextClient {
         message: issue.description,
       });
     });
-    this.store.dispatch(setDiagnostics(this.store.state, diagnostics));
+    this.store.updateDiagnostics(diagnostics);
   }
 
   private computeChangesSinceLastUpdate() {