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",