From f69b8b03694cf8c4a9302b19ec6819988a81d4f5 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Sat, 19 Aug 2023 11:50:21 +0100
Subject: [PATCH] chore: update sandbox

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
---
 .vscode/settings.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
+}