mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Fixed typo that accidentally prints warning message if a Z3 context is created with the 'timeout' parameter

Browse source
This commit is contained in:
martin-neuhaeusser 2015-10-07 17:27:05 +02:00
parent 6e852762ba
commit 99e4b321bd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/cmd_context/context_params.cpp
View file

@ -66,7 +66,7 @@ void context_params::set(char const * param, char const * value) {
long val = strtol(value, 0, 10); long val = strtol(value, 0, 10);
m_timeout = static_cast<unsigned>(val); m_timeout = static_cast<unsigned>(val);
} }
if (p == "rlimit") { else if (p == "rlimit") {
long val = strtol(value, 0, 10); long val = strtol(value, 0, 10);
m_rlimit = static_cast<unsigned>(val); m_rlimit = static_cast<unsigned>(val);
} }