From 780a0a649c53df54cf1570622cbe2180aa427363 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Fri, 10 Jan 2025 15:44:39 -0800
Subject: [PATCH] src: Fix VS code config to match Makefile

---
 src/FStarCompiler.fst.config.json | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/FStarCompiler.fst.config.json b/src/FStarCompiler.fst.config.json
index 029fe16c03e..fc0a12ab1f9 100644
--- 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"
   ]
 }