michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(kernel): the hash code of expressions was not being used to compare them

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-09-26 08:41:20 -07:00
parent 19f4554145
commit e5d312dc18
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/kernel/expr_eq.h
View file

@ -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<typename N = id_expr_fn, bool UseHash = false>
template<typename N = id_expr_fn, bool UseHash = true>
class expr_eq_fn {
expr_cell_pair_set m_eq_visited;
N m_norm;