Commits

Leonardo de Moura  committed 0289a58 Merge

Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

  • Participants
  • Parent commits 42ebb2b, 4abce8e

Comments (0)

Files changed (1)

File src/tactic/ufbv/ufbv_tactic.cpp

     main_p.set_bool(":elim-and", true);
     main_p.set_bool(":solver", true);
 
-    params_ref smt_p(p);
-    smt_p.set_bool(":auto-config", false);
-
     tactic * t = and_then(repeat(mk_ufbv_preprocessor_tactic(m, main_p), 2),
-                          using_params(mk_smt_tactic(smt_p), main_p));
+                          mk_smt_tactic_using(false, main_p));
     
     t->updt_params(p);