From 940658e27d273371918f8c5e82b9cf7ae740971d Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Thu, 7 Dec 2023 11:26:50 -0500
Subject: [PATCH] chore: bump @leanprover/infoview (#372)

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

diff --git a/lean4-infoview/package-lock.json b/lean4-infoview/package-lock.json
index 439677801..c73aec8a1 100644
--- a/lean4-infoview/package-lock.json
+++ b/lean4-infoview/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@leanprover/infoview",
-  "version": "0.4.3",
+  "version": "0.4.4",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "@leanprover/infoview",
-      "version": "0.4.3",
+      "version": "0.4.4",
       "license": "Apache-2.0",
       "dependencies": {
         "@vscode/codicons": "^0.0.32",
diff --git a/lean4-infoview/package.json b/lean4-infoview/package.json
index ce8ac00db..afb03848b 100644
--- a/lean4-infoview/package.json
+++ b/lean4-infoview/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@leanprover/infoview",
-  "version": "0.4.3",
+  "version": "0.4.4",
   "description": "An interactive display for the Lean 4 theorem prover.",
   "scripts": {
     "watch": "rollup --config --environment NODE_ENV:development --watch",