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