vscode-ext: fix logic of pr #27

moves-rwth · Jun 5, 2024 · 3551c84 · 3551c84
1 parent cb6bcf0
commit 3551c84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vscode-ext/src/CaesarClient.ts b/vscode-ext/src/CaesarClient.ts
@@ -116,7 +116,7 @@ export class CaesarClient {
 
         // listen to onDidSaveTextDocument events
         this.context.subscriptions.push(vscode.workspace.onDidSaveTextDocument((document) => {
-            if (document.languageId !== "heyvl" && CaesarConfig.get(ConfigurationConstants.automaticVerification) !== "onsave") {
+            if (document.languageId !== "heyvl" || CaesarConfig.get(ConfigurationConstants.automaticVerification) !== "onsave") {
                 return;
             }
             void this.verify(document);