From 15002ec4c7eae9bd4b2a38b82ed1a0c27ccf2636 Mon Sep 17 00:00:00 2001
From: Henry Huang <69825683+hhenry01@users.noreply.github.com>
Date: Sun, 3 Dec 2023 15:58:34 -0800
Subject: [PATCH] Disable auto insert headers (#216)

---
 sailbot.code-workspace | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sailbot.code-workspace b/sailbot.code-workspace
index 3ab5db662..66cf0fedf 100644
--- a/sailbot.code-workspace
+++ b/sailbot.code-workspace
@@ -203,7 +203,8 @@
             "-log=verbose",
             "-pretty",
             "--background-index",
-            "--compile-commands-dir=/workspaces/sailbot_workspace/build/"
+            "--compile-commands-dir=/workspaces/sailbot_workspace/build/",
+            "--header-insertion=never"
         ],
 
         "[cpp]": {