hide new behavior until tested

Signed-off-by: Nikolaj Bjorner <[email protected]>
wintersteiger · Jun 24, 2015 · 89ed28f · 89ed28f
1 parent fe9a0e1
commit 89ed28f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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);
     }
 };