From e5d312dc18ca2df9fd14aba3c0c90858bb41672f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 26 Sep 2013 08:41:20 -0700 Subject: [PATCH] fix(kernel): the hash code of expressions was not being used to compare them Signed-off-by: Leonardo de Moura --- src/kernel/expr_eq.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/kernel/expr_eq.h b/src/kernel/expr_eq.h index f2b480ea2d..5a02036f64 100644 --- a/src/kernel/expr_eq.h +++ b/src/kernel/expr_eq.h @@ -19,10 +19,10 @@ struct id_expr_fn { The parameter N is a normalization function that can be used to normalize sub-expressions before comparing them. The hashcode of expressions is used to optimize the comparison when - parameter UseHash == true. We usually set UseHash to false when N + parameter UseHash == true. We should set UseHash to false when N is not the identity function. */ -template +template class expr_eq_fn { expr_cell_pair_set m_eq_visited; N m_norm;