From 82f71e45615869d0352d9297a58f3989087978dd Mon Sep 17 00:00:00 2001 From: Ramana Kumar Date: Mon, 31 Oct 2016 10:59:43 +1100 Subject: [PATCH] fix(library/blast/congruence_closure): fix what look to be typos in congr_key_cmp --- src/library/blast/congruence_closure.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/library/blast/congruence_closure.cpp b/src/library/blast/congruence_closure.cpp index ab336b18c..a72f74011 100644 --- a/src/library/blast/congruence_closure.cpp +++ b/src/library/blast/congruence_closure.cpp @@ -700,9 +700,9 @@ int congruence_closure::congr_key_cmp::operator()(congr_key const & k1, congr_ke return quick_cmp(k1.m_R, k2.m_R); if (k1.m_eq != k2.m_eq) return k1.m_eq ? -1 : 1; - if (k2.m_iff != k2.m_iff) + if (k1.m_iff != k2.m_iff) return k1.m_iff ? -1 : 1; - if (k2.m_symm_rel != k2.m_symm_rel) + if (k1.m_symm_rel != k2.m_symm_rel) return k1.m_symm_rel ? -1 : 1; if (k1.m_eq || k1.m_iff) return g_cc->cmp_eq_iff_keys(k1, k2);