src: Fix VS code config to match Makefile

FStarLang · Jan 10, 2025 · 780a0a6 · 780a0a6
1 parent bc1b12e
commit 780a0a6
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"
   ]
 }