From 1634a21e75e9c2f7414dc9f9a979b695ac24bf07 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Mar 2019 10:43:29 -0700
Subject: [PATCH] l -> eq

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_special_relations.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_special_relations.cpp b/src/smt/theory_special_relations.cpp
index 03066f766..3750ce967 100644
--- a/src/smt/theory_special_relations.cpp
+++ b/src/smt/theory_special_relations.cpp
@@ -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;
             }