diff --git a/.vscode/settings.json b/.vscode/settings.json index af132edb..ad6bb9f9 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,6 +1,6 @@ { "ocaml.sandbox": { "kind": "opam", - "switch": "4.12.0" + "switch": "4.14.1" } -} \ No newline at end of file +}