From 7df9f0c507ec23ae7ec0a0e548c64fe8dccbffc8 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Sun, 25 Aug 2024 12:10:28 +0200
Subject: [PATCH] 1.0.32

---
 package-lock.json | 4 ++--
 package.json      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index 0f9fcc1..ed34bce 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.31",
+  "version": "1.0.32",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "lean4monaco",
-      "version": "1.0.31",
+      "version": "1.0.32",
       "license": "Apache-2.0",
       "dependencies": {
         "@leanprover/infoview": "^0.7.3",
diff --git a/package.json b/package.json
index 7f4f791..4a1743f 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "lean4monaco",
-  "version": "1.0.31",
+  "version": "1.0.32",
   "description": "Monaco Editor support for the Lean 4 theorem prover.",
   "keywords": [
     "lean",