minor code simplification

Z3Prover · Dec 8, 2022 · ca6fed8 · ca6fed8
1 parent 8981d32
commit ca6fed8
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/qe/lite/qe_lite.cpp b/src/qe/lite/qe_lite.cpp
@@ -2444,8 +2444,7 @@ namespace {
 }
 
 tactic * mk_qe_lite_tactic(ast_manager & m, params_ref const & p) {
-    return alloc(dependent_expr_state_tactic, m, p,
-                 [](auto& m, auto& p, auto &s) -> dependent_expr_simplifier* { return alloc(qe_lite_simplifier, m, p, s); });
+    return alloc(dependent_expr_state_tactic, m, p, mk_qe_lite_simplifer);
 }
 
 dependent_expr_simplifier* mk_qe_lite_simplifer(ast_manager& m, params_ref const& p, dependent_expr_state& st) {