diff --git a/graphcore b/graphcore
index 2177f579..85be3db9 160000
--- a/graphcore
+++ b/graphcore
@@ -1 +1 @@
-Subproject commit 2177f57929c1a9a2052013cf0754e55b0c8f2790
+Subproject commit 85be3db958274752faf2356690db8ba61f8279d0
diff --git a/pyproject.toml b/pyproject.toml
index 247e6bcd..81a38037 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -23,7 +23,7 @@ authors = [
 ]
 
 dependencies = [
-    "graphcore @ git+ssh://git@github.com/Certora/graphcore.git@2177f57929c1a9a2052013cf0754e55b0c8f2790",
+    "graphcore @ git+ssh://git@github.com/Certora/graphcore.git@85be3db958274752faf2356690db8ba61f8279d0",
     "aiohttp>=3.13",
     "attrs>=26.1",
     "Jinja2>=3.1",