mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
reorder
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
8dde1bf86d
commit
4defe9b6ab
|
@ -31,10 +31,10 @@ ufbv_rewriter::ufbv_rewriter(ast_manager & m):
|
|||
m_match_subst(m),
|
||||
m_bsimp(m),
|
||||
m_todo(m),
|
||||
m_in_processed(m),
|
||||
m_new_args(m),
|
||||
m_rewrite_todo(m),
|
||||
m_rewrite_cache(m),
|
||||
m_in_processed(m),
|
||||
m_new_exprs(m) {
|
||||
params_ref p;
|
||||
p.set_bool("elim_and", true);
|
||||
|
|
Loading…
Reference in a new issue