FStar.fst.config.json: make sure to use *this* fstar.exe

FStarLang · Aug 24, 2024 · c67fa30 · c67fa30
1 parent 5206e3d
commit c67fa30
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"
   ],