mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-05 21:53:23 +00:00
Code Activity

bugfix for smt::model_finder::set_cancel

Browse source 
follow-up to fixed #178
This commit is contained in:
Christoph M. Wintersteiger 2015-07-29 17:18:15 +01:00
parent b9e273800c
commit 7c282d3719
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/smt/smt_model_finder.cpp
View file

@ -2464,7 +2464,7 @@ namespace smt {
void set_cancel(bool f) { void set_cancel(bool f) {
m_cancel = f; m_cancel = f;
m_info->set_cancel(f); if (m_info) m_info->set_cancel(f);
} }
}; };