From eeedb6fb1829314ba8e319aae06f60ea84d71137 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 10 Jul 2014 23:21:24 +0100 Subject: [PATCH] fix(kernel/expr_eq_fn): typo Signed-off-by: Leonardo de Moura --- src/kernel/expr_eq_fn.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/expr_eq_fn.cpp b/src/kernel/expr_eq_fn.cpp index 369f8e427..ecfe444cb 100644 --- a/src/kernel/expr_eq_fn.cpp +++ b/src/kernel/expr_eq_fn.cpp @@ -40,7 +40,7 @@ bool expr_eq_fn::apply(expr const & a, expr const & b) { return mlocal_name(a) == mlocal_name(b) && apply(mlocal_type(a), mlocal_type(b)) && - (!m_compare_binder_info || local_pp_name(a) == local_pp_name(b)); + (!m_compare_binder_info || local_pp_name(a) == local_pp_name(b)) && (!m_compare_binder_info || local_info(a) == local_info(b)); case expr_kind::App: m_counter++;