mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Merge pull request #234 from martin-neuhaeusser/master

Browse source 
Fixed typo that accidentally prints warning message if a Z3 context i…
This commit is contained in:
Christoph M. Wintersteiger 2015-10-19 14:24:35 +01:00
parent 6e8c035b7f 99e4b321bd
commit d4e0de8f84
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);
} }