diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 74ba5ee..0000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,5 +0,0 @@
-{
-  "ocaml.sandbox": {
-    "kind": "global"
-  }
-}
\ No newline at end of file