diff options
Diffstat (limited to 'src/smt/smt_engine.h')
-rw-r--r-- | src/smt/smt_engine.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 151b6106b..ff1a955ee 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -776,7 +776,7 @@ class CVC4_EXPORT SmtEngine * resource limit for all remaining calls into the SmtEngine (true), or * whether it's a per-call resource limit (false); the default is false */ - void setResourceLimit(unsigned long units, bool cumulative = false); + void setResourceLimit(uint64_t units, bool cumulative = false); /** * Set a per-call time limit for SmtEngine operations. @@ -801,7 +801,7 @@ class CVC4_EXPORT SmtEngine * * @param millis the time limit in milliseconds, or 0 for no limit */ - void setTimeLimit(unsigned long millis); + void setTimeLimit(uint64_t millis); /** * Get the current resource usage count for this SmtEngine. This |