diff --git a/package-lock.json b/package-lock.json
index ecc81e85..64a8e9db 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -31,7 +31,7 @@
         "debounce": "^1.2.1",
         "express": "^4.18.2",
         "lean4-infoview": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?de0062c",
-        "lean4web": "github:hhu-adam/lean4web#b91645a7b88814675ba9f99817436d0a2ce3a0ec",
+        "lean4web": "github:hhu-adam/lean4web#414d9e62638a392fca278761b4c61a1d2e138bc7",
         "octokit": "^3.1.2",
         "path-browserify": "^1.0.1",
         "react": "^18.2.0",
@@ -9921,8 +9921,8 @@
     },
     "node_modules/lean4web": {
       "version": "0.1.0",
-      "resolved": "git+ssh://git@github.com/hhu-adam/lean4web.git#b91645a7b88814675ba9f99817436d0a2ce3a0ec",
-      "integrity": "sha512-Jb2rFit2ENsaXlQQWQ3QmQe1JPDNfCJXWANxFmhKdmaezjwGQz9ZzEFefNpxR5ZurSgqQNWxvz0GeCB1ZgxOrA==",
+      "resolved": "git+ssh://git@github.com/hhu-adam/lean4web.git#414d9e62638a392fca278761b4c61a1d2e138bc7",
+      "integrity": "sha512-yeR2nuDdGJsPqS2CDfoEctzD2yOxC9vh8su4XjMI8KKf2JfDygQmru0waEguGtahd6IiwYnfWQu4dmGHMs3QTA==",
       "dependencies": {
         "@emotion/react": "^11.11.1",
         "@emotion/styled": "^11.11.0",
diff --git a/package.json b/package.json
index ca95f977..72053c4a 100644
--- a/package.json
+++ b/package.json
@@ -28,7 +28,7 @@
     "debounce": "^1.2.1",
     "express": "^4.18.2",
     "lean4-infoview": "https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?de0062c",
-    "lean4web": "github:hhu-adam/lean4web#b91645a7b88814675ba9f99817436d0a2ce3a0ec",
+    "lean4web": "github:hhu-adam/lean4web#414d9e62638a392fca278761b4c61a1d2e138bc7",
     "octokit": "^3.1.2",
     "path-browserify": "^1.0.1",
     "react": "^18.2.0",