stack limit increased from 1G to 8G

eyereasoner · May 15, 2023 · dcd812a · dcd812a
1 parent c77a80d
commit dcd812a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/eye.py b/eye.py
@@ -52,7 +52,7 @@ def cleanup(self) -> None:
 
     def serialize_command(self) -> str:
         return (
-            ["swipl", "-x", "/usr/local/lib/eye.pvm", "--"]
+            ["swipl", "--stack-limit=8G", "-x", "/usr/local/lib/eye.pvm", "--"]
             + self.data
             + self.temp_files
             + [v for file in self.queries for v in ("--query", file)]