From d3c14f321fe73ef002cadd5c5321c5ff443c5d4a Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Wed, 11 Dec 2024 01:30:52 -0800
Subject: [PATCH] chore: Update to 0.2.22

---
 pantograph/server.py | 4 +++-
 pyproject.toml       | 2 +-
 src                  | 2 +-
 3 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/pantograph/server.py b/pantograph/server.py
index db71c84..3e9943d 100644
--- a/pantograph/server.py
+++ b/pantograph/server.py
@@ -239,6 +239,7 @@ class Server:
             'fileName': str(file_name),
             'invocations': True,
             "sorrys": False,
+            "newConstants": False,
         })
         if "error" in result:
             raise ServerError(result["desc"])
@@ -265,6 +266,7 @@ class Server:
             'file': command,
             'invocations': False,
             "sorrys": True,
+            "newConstants": False,
         })
         if "error" in result:
             raise ServerError(result["desc"])
@@ -295,7 +297,7 @@ def get_version():
 class TestServer(unittest.TestCase):
 
     def test_version(self):
-        self.assertEqual(get_version(), "0.2.19")
+        self.assertEqual(get_version(), "0.2.22")
 
     def test_expr_type(self):
         server = Server()
diff --git a/pyproject.toml b/pyproject.toml
index ef55b3c..7736e99 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "pantograph"
-version = "0.2.19"
+version = "0.2.22"
 description = "A machine-to-machine interaction system for Lean"
 authors = ["Leni Aniva <v@leni.sh>"]
 license = "GPL-3"
diff --git a/src b/src
index 4f6ccd3..5d76626 160000
--- a/src
+++ b/src
@@ -1 +1 @@
-Subproject commit 4f6ccd3e82dd41402b7244484a1b0312d9e27018
+Subproject commit 5d76626912795579832f2bb43748e137bb6d0595