From 9634d66699a4803360561d87df4a5fa352c144c0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 15 Dec 2012 08:10:48 -0800 Subject: [PATCH] Fix typo in tactic selection Signed-off-by: Leonardo de Moura --- src/tactic/portfolio/smt_strategic_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/portfolio/smt_strategic_solver.cpp b/src/tactic/portfolio/smt_strategic_solver.cpp index 4813cbe1a..0e63255ca 100644 --- a/src/tactic/portfolio/smt_strategic_solver.cpp +++ b/src/tactic/portfolio/smt_strategic_solver.cpp @@ -39,7 +39,7 @@ Notes: tactic * mk_tactic_for_logic(ast_manager & m, params_ref const & p, symbol const & logic) { if (logic=="QF_UF") - return mk_qfufbv_tactic(m, p); + return mk_qfuf_tactic(m, p); else if (logic=="QF_BV") return mk_qfbv_tactic(m, p); else if (logic=="QF_IDL")