From f2daeb0563844f955dcc01c3073a001e1172c020 Mon Sep 17 00:00:00 2001
From: Alexey Solovyev <solovyev.alexey@gmail.com>
Date: Fri, 18 Oct 2024 18:46:41 -0600
Subject: [PATCH] Update version to 2.1.2

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 7b7903b..ee9ca54 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
     "name": "hol-light-simple",
     "displayName": "HOL Light",
     "description": "An extension for VS Code which provides support for HOL Light",
-    "version": "2.1.1",
+    "version": "2.1.2",
     "license": "SEE LICENSE IN LICENSE",
     "publisher": "monadius",
     "engines": {