mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-06 19:21:22 +00:00
Code Activity

small fix

Browse source
This commit is contained in:
Mikolas Janota 2016-01-26 18:11:33 +00:00
parent e7477e2f6a
commit 4b37140780
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tactic/ackr/ackermannize_tactic.cpp
View file

@ -46,8 +46,7 @@ public:
result.push_back(resg.get()); result.push_back(resg.get());
// report model // report model
if (g->models_enabled()) { if (g->models_enabled()) {
model_ref abstr_model = imp->get_model(); mc = mk_ackr_model_converter(m, imp->get_info());
mc = mk_ackr_model_converter(m, imp->get_info(), abstr_model);
} }
} }