Add missing argument to tactic invocations server call.

stanford-centaur · Jan 27, 2025 · f35922a · f35922a
1 parent f97bc49
commit f35922a
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)