From 3f8b180b04f9399558cd54ab3b435bcbda11c5eb Mon Sep 17 00:00:00 2001
From: Alexander Bentkamp <bentkamp@gmail.com>
Date: Thu, 7 Dec 2023 21:38:51 +0100
Subject: [PATCH] use pre-cleanup commit of lean4web

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 441ed58..55caf77 100644
--- a/package.json
+++ b/package.json
@@ -24,7 +24,7 @@
     "debounce": "^1.2.1",
     "express": "^4.18.2",
     "lean4-infoview": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?de0062c",
-    "lean4web": "github:leanprover-community/lean4web#cleanup",
+    "lean4web": "github:leanprover-community/lean4web#6fc9c11179934cce7ca1f78140c57b6931186b42",
     "octokit": "^2.0.14",
     "path-browserify": "^1.0.1",
     "react": "^18.2.0",