Merge pull request #65 from Kripner/main

Add missing argument to tactic invocations server call
stanford-centaur · Jan 27, 2025 · 1f755ca · 1f755ca
2 parents f97bc49 + f35922a
commit 1f755ca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pantograph/server.py b/pantograph/server.py
@@ -317,6 +317,7 @@ async def tactic_invocations_async(self, file_name: Union[str, Path]) -> List[Co
             'invocations': True,
             "sorrys": False,
             "newConstants": False,
+            "typeErrorsAsGoals": False,
         })
         if "error" in result:
             raise ServerError(result)