diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 7be5f8ca..00000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,6 +0,0 @@
-{
-    "ocaml.sandbox": {
-        "kind": "opam",
-        "switch": "default"
-    }
-}