Merge pull request #223 from fakusb/hotfix221

Hotfix for #221
coq · Apr 6, 2021 · a302529 · a302529
2 parents f65a093 + e4070a0
commit a302529
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/server/src/coqtop/CoqTop8.ts b/server/src/coqtop/CoqTop8.ts
@@ -84,10 +84,14 @@ export class CoqTop extends IdeSlave8 implements coqtop.CoqTop {
     this.console.log('starting coqtop');
 
     let coqtopVersion = await coqtop.detectVersion(this.coqtopBin, this.projectRoot, this.console);
+
     if(coqtopVersion)
       this.console.log(`Detected coqtop version ${coqtopVersion}`)
-    else
-      this.console.warn(`Could not detect coqtop version`)
+    else {
+      let fallbackVersion = "8.10"; //no changed behaviour in vscoq since this version
+      this.console.warn(`Could not detect coqtop version, defaulting to >= ${fallbackVersion}.`);
+      coqtopVersion = fallbackVersion;
+    }
 
     this.coqtopVersion = semver.coerce(coqtopVersion);
     this.console.log(`Coqtop version parsed into semver version ${this.coqtopVersion.format()}`);