mirror of
https://github.com/Z3Prover/z3
synced 2025-04-10 03:07:07 +00:00
l -> eq
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
892be69d51
commit
6a9cbe1461
|
@ -120,7 +120,7 @@ namespace smt {
|
|||
literal eq = mk_eq(t1, t2, false);
|
||||
for (auto const& kv : m_relations) {
|
||||
relation& r = *kv.m_value;
|
||||
if (!r.new_eq_eh(l, v1, v2)) {
|
||||
if (!r.new_eq_eh(eq, v1, v2)) {
|
||||
set_neg_cycle_conflict(r);
|
||||
break;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue