From d5eef9dd8b69a2eda4accdbf53f148f85d630b0e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 16 Apr 2020 18:53:00 -0700 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/tactic/sls/sls_tactic.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/tactic/sls/sls_tactic.cpp b/src/tactic/sls/sls_tactic.cpp index 613b8276d5d..fd0dcaa3b1e 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;