From 9492c1011a34ad595eb480918cd1325c5c5c0dd8 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 8 Dec 2023 00:51:17 +0100
Subject: [PATCH] Revert "use pre-cleanup commit of lean4web"

This reverts commit 3f8b180b04f9399558cd54ab3b435bcbda11c5eb.
---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 55caf77..441ed58 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#6fc9c11179934cce7ca1f78140c57b6931186b42",
+    "lean4web": "github:leanprover-community/lean4web#cleanup",
     "octokit": "^2.0.14",
     "path-browserify": "^1.0.1",
     "react": "^18.2.0",