mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
f215b18e0e
commit
69b4392210
|
@ -66,8 +66,7 @@ namespace q {
|
|||
};
|
||||
std::function<void(euf::enode*)> _on_make =
|
||||
[&](euf::enode* n) {
|
||||
relevant_eh(n);
|
||||
|
||||
m_mam->add_node(n, false);
|
||||
};
|
||||
ctx.get_egraph().set_on_merge(_on_merge);
|
||||
if (!ctx.relevancy().enabled())
|
||||
|
|
Loading…
Reference in a new issue