From 4b37140780d9de8d9b7d477da81b3e13a0d8ce92 Mon Sep 17 00:00:00 2001 From: Mikolas Janota Date: Tue, 26 Jan 2016 18:11:33 +0000 Subject: [PATCH] small fix --- src/tactic/ackr/ackermannize_tactic.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/tactic/ackr/ackermannize_tactic.cpp b/src/tactic/ackr/ackermannize_tactic.cpp index 6d52c6fb3..a1d8917df 100644 --- a/src/tactic/ackr/ackermannize_tactic.cpp +++ b/src/tactic/ackr/ackermannize_tactic.cpp @@ -46,8 +46,7 @@ public: result.push_back(resg.get()); // report model if (g->models_enabled()) { - model_ref abstr_model = imp->get_model(); - mc = mk_ackr_model_converter(m, imp->get_info(), abstr_model); + mc = mk_ackr_model_converter(m, imp->get_info()); } }