diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
index ce23e4f8..4c56a609 100644
--- a/lean4-infoview/package.json
+++ b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
     "name": "@leanprover/infoview",
-    "version": "0.7.9",
+    "version": "0.7.10",
     "description": "An interactive display for the Lean 4 theorem prover.",
     "scripts": {
         "watch": "rollup --config --environment NODE_ENV:development --watch",
diff --git a/package-lock.json b/package-lock.json
index 62a2ac3c..ac2c7bac 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -28,7 +28,7 @@
         },
         "lean4-infoview": {
             "name": "@leanprover/infoview",
-            "version": "0.7.9",
+            "version": "0.7.10",
             "license": "Apache-2.0",
             "dependencies": {
                 "@leanprover/infoview-api": "~0.4.0",