From 89ed28ff1ec603962bb61f089d0e5089e8317afd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 21 Jun 2015 02:25:02 -0700 Subject: [PATCH] hide new behavior until tested Signed-off-by: Nikolaj Bjorner --- 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 dee045d6fa9..27d7433e890 100644 --- a/src/tactic/portfolio/smt_strategic_solver.cpp +++ b/src/tactic/portfolio/smt_strategic_solver.cpp @@ -112,8 +112,8 @@ class smt_strategic_solver_factory : public solver_factory { l = 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_solver_for_logic(m, p, l), - //mk_smt_solver(m, p, l), + //mk_solver_for_logic(m, p, l), + mk_smt_solver(m, p, l), p); } };