mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
do not use array_der when simplifying rules
This commit is contained in:
parent
a73023da97
commit
ffa4957362
|
@ -54,7 +54,7 @@ namespace datalog {
|
|||
m_head(m),
|
||||
m_args(m),
|
||||
m_hnf(m),
|
||||
m_qe(m, params_ref()),
|
||||
m_qe(m, params_ref(), false),
|
||||
m_rwr(m),
|
||||
m_ufproc(m) {}
|
||||
|
||||
|
|
Loading…
Reference in a new issue