From a439335a3678c99f1096576232f7c95623044da7 Mon Sep 17 00:00:00 2001 From: Alexander Bentkamp Date: Tue, 17 Sep 2024 22:23:30 +0200 Subject: [PATCH] upgrade lean4monaco --- package-lock.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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",