From 528f34802220d93d95761b9c1466915b402c6343 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 11 Dec 2012 17:51:49 -0800 Subject: [PATCH] Fixed bug Signed-off-by: Leonardo de Moura --- src/tactic/portfolio/smt_strategic_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tactic/portfolio/smt_strategic_solver.cpp b/src/tactic/portfolio/smt_strategic_solver.cpp index 3d83d8815..4813cbe1a 100644 --- a/src/tactic/portfolio/smt_strategic_solver.cpp +++ b/src/tactic/portfolio/smt_strategic_solver.cpp @@ -87,7 +87,7 @@ tactic * mk_tactic_for_logic(ast_manager & m, params_ref const & p, symbol const } class smt_strategic_solver_factory : public solver_factory { - symbol const & m_logic; + symbol m_logic; public: smt_strategic_solver_factory(symbol const & logic):m_logic(logic) {} @@ -99,7 +99,7 @@ public: l = m_logic; else l = logic; - tactic * t = mk_tactic_for_logic(m, p, logic); + tactic * t = mk_tactic_for_logic(m, p, l); return mk_combined_solver(mk_tactic2solver(m, t, p, proofs_enabled, models_enabled, unsat_core_enabled, l), mk_smt_solver(m, p, l), p);