diff --git a/package-lock.json b/package-lock.json
index 141f0a1..2d4c68e 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.8",
+  "version": "1.0.9",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "lean4monaco",
-      "version": "1.0.8",
+      "version": "1.0.9",
       "hasInstallScript": true,
       "dependencies": {
         "@leanprover/infoview": "=0.7.0",
diff --git a/package.json b/package.json
index c223b8c..a19f2e9 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.8",
+  "version": "1.0.9",
   "type": "module",
   "main": "dist/index.js",
   "files": [