From 8547a965ab37309dd439ac18101e4dca9d993f94 Mon Sep 17 00:00:00 2001 From: Mikolas Janota Date: Thu, 4 Feb 2016 14:05:40 +0000 Subject: [PATCH] changing preamble for qfufbv_ackr_tactic. --- src/tactic/smtlogics/qfufbv_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/smtlogics/qfufbv_tactic.cpp b/src/tactic/smtlogics/qfufbv_tactic.cpp index c3ebb4f48..f943b68c9 100644 --- a/src/tactic/smtlogics/qfufbv_tactic.cpp +++ b/src/tactic/smtlogics/qfufbv_tactic.cpp @@ -181,7 +181,7 @@ tactic * mk_qfufbv_tactic(ast_manager & m, params_ref const & p) { } tactic * mk_qfufbv_ackr_tactic(ast_manager & m, params_ref const & p) { - tactic * const preamble_t = mk_qfufbv_preamble(m, p); + tactic * const preamble_t = mk_qfufbv_preamble1(m, p); tactic * const actual_tactic = alloc(qfufbv_ackr_tactic, m, p); return and_then(preamble_t,