1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/Z3.cs b/Source/Provers/SMTLib/Z3.cs
index bc9e6992..1d9ff1c4 100644
--- a/Source/Provers/SMTLib/Z3.cs
+++ b/Source/Provers/SMTLib/Z3.cs
@@ -262,6 +262,7 @@ namespace Microsoft.Boogie.SMTLib
                 if (options.TimeLimit > 0)
                 {
                     options.AddWeakSmtOption("TIMEOUT", options.TimeLimit.ToString());
+                    options.AddWeakSmtOption("fixedpoint.TIMEOUT", options.TimeLimit.ToString());
                     // This kills the Z3 *instance* after the specified time, not a particular query, so we cannot use it.
                     // options.AddSolverArgument("/T:" + (options.TimeLimit + 1000) / 1000);
                 }