diff --git a/pantograph/server.py b/pantograph/server.py
index 3281bd7..3d30630 100644
--- a/pantograph/server.py
+++ b/pantograph/server.py
@@ -142,7 +142,7 @@ def get_version():
 class TestServer(unittest.TestCase):
 
     def test_version(self):
-        self.assertEqual(get_version(), "0.2.14")
+        self.assertEqual(get_version(), "0.2.15")
 
     def test_expr_type(self):
         server = Server()
diff --git a/src b/src
index f20ee8d..0aec757 160000
--- a/src
+++ b/src
@@ -1 +1 @@
-Subproject commit f20ee8dc87ae3fa9c0f13040e1b4f097f1a40503
+Subproject commit 0aec757601a2aea9f9efabae7eda4300832f0021