Merge pull request #3398 from mtzguido/vscode

FStar.fst.config.json: make sure to use *this* fstar.exe
FStarLang · Aug 24, 2024 · fbf5412 · fbf5412
2 parents 5206e3d + c67fa30
commit fbf5412
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/FStar.fst.config.json b/FStar.fst.config.json
@@ -1,5 +1,5 @@
 {
- "fstar_exe": "fstar.exe",
+ "fstar_exe": "./bin/fstar.exe",
  "options": [
  "--cache_dir", ".cache"
  ],