Fix for improved smtio.py rlimit code

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index e417b7758bcbd8dc22e750f6fe16db7cb67083df..108f6bcfed9ed2052b31eea6df3877826f90ca76 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -38,7 +38,7 @@ if os.name == "posix":
     current_rlimit_stack = resource.getrlimit(resource.RLIMIT_STACK)
     if current_rlimit_stack[0] != resource.RLIM_INFINITY:
         if current_rlimit_stack[1] != resource.RLIM_INFINITY:
-            smtio_stacksize = min(smtio_stacksize, smtio_stacklimit)
+            smtio_stacksize = min(smtio_stacksize, current_rlimit_stack[1])
         if current_rlimit_stack[0] < smtio_stacksize:
             resource.setrlimit(resource.RLIMIT_STACK, (smtio_stacksize, current_rlimit_stack[1]))