From c67fa30ba8682a96ab2392037ce5df9acb83f5e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Fri, 23 Aug 2024 17:53:53 -0700
Subject: [PATCH] FStar.fst.config.json: make sure to use *this* fstar.exe

---
 FStar.fst.config.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FStar.fst.config.json b/FStar.fst.config.json
index e0e350288a1..2fc361406e6 100644
--- 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"
   ],