From 096cd4e5e93f46651b2203c8c4ff7c322dde7180 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Mon, 2 Sep 2024 10:06:14 +0200
Subject: [PATCH] bump lean4monaco

---
 package-lock.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index e27ccf09..6d5ebffd 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -5389,9 +5389,9 @@
       }
     },
     "node_modules/lean4monaco": {
-      "version": "1.0.33",
-      "resolved": "https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.33.tgz",
-      "integrity": "sha512-Sz+uBz5FsUfzSzHqRHMv8N421F75yCA/y8/wMdroiHqr5BObyC9YhtqpLaCM6NuVMNdRVut8HGHgJ8YvwnxKxg==",
+      "version": "1.0.34",
+      "resolved": "https://registry.npmjs.org/lean4monaco/-/lean4monaco-1.0.34.tgz",
+      "integrity": "sha512-tTYNXhgWz2324577LtfyyxhihV+0lfAGInmcCoZI3nVKBIhjU9yyQSLVEAJcCR0vm6mSXti9E82GXUrHgOFKVQ==",
       "dependencies": {
         "@leanprover/infoview": "^0.7.3",
         "@leanprover/infoview-api": "^0.4.0",