na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Apr 17, 2020 · d5eef9d · d5eef9d
1 parent 040d4b8
commit d5eef9d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/tactic/sls/sls_tactic.cpp b/src/tactic/sls/sls_tactic.cpp
@@ -101,7 +101,6 @@ static tactic * mk_preamble(ast_manager & m, params_ref const & p) {
     // main_p.set_bool("pull_cheap_ite", true);
     main_p.set_bool("push_ite_bv", true);
     main_p.set_bool("blast_distinct", true);
-    // main_p.set_bool("udiv2mul", true);
     main_p.set_bool("hi_div0", true);
 
     params_ref simp2_p = p;