diff --git a/pantograph/server.py b/pantograph/server.py
index 032471e..867b3c9 100644
--- a/pantograph/server.py
+++ b/pantograph/server.py
@@ -344,7 +344,7 @@ def get_version():
 class TestServer(unittest.TestCase):
 
     def test_version(self):
-        self.assertEqual(get_version(), "0.2.23")
+        self.assertEqual(get_version(), "0.2.24")
 
     def test_expr_type(self):
         server = Server()
diff --git a/src b/src
index a374af3..ef4e5ec 160000
--- a/src
+++ b/src
@@ -1 +1 @@
-Subproject commit a374af3a5fa0a47936e904c2cffd9b2cbafc0e05
+Subproject commit ef4e5ecbf8057c6baf542391d4c40ec068810aa4