Merge pull request #3673 from mtzguido/fixvscode

src: Fix VS code config to match Makefile
FStarLang · Jan 11, 2025 · 27da2e0 · 27da2e0
2 parents bc1b12e + 780a0a6
commit 27da2e0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/FStarCompiler.fst.config.json b/src/FStarCompiler.fst.config.json
@@ -6,9 +6,10 @@
     "--lax",
     "--cache_dir", "../stage1/fstarc.checked",
     "--warn_error",
-    "-271-272-241-319-274"
+    "-271-272-241-319-274",
+    "--no_default_includes"
   ],
   "include_dirs": [
-    "."
+    ".", "../ulib"
   ]
 }