diff --git a/src/tactic/sls/sls_tactic.cpp b/src/tactic/sls/sls_tactic.cpp
index 613b8276d..fd0dcaa3b 100644
--- 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;