diff options
| author | Pierre-Marie Pédrot | 2014-04-04 20:21:06 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-04-04 20:23:19 +0200 |
| commit | bd0e8ce51ed8eb8359d198fb5d14d14381847200 (patch) | |
| tree | 1dbb836ca2d2a696196394573ac4c7225c454723 /kernel | |
| parent | f65fa9de8a4c9c12d933188a755b51508bd51921 (diff) | |
Fixing coqchk. It was my fault, I misused canonical and user equalities
when defining cache hash tables in Closure. Why it was working in 3.12
is a mystery to me.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/closure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/closure.ml b/kernel/closure.ml index 55b0384823..7b94ecfb85 100644 --- a/kernel/closure.ml +++ b/kernel/closure.ml @@ -214,7 +214,7 @@ struct let equal = Names.eq_id_key open Hashset.Combine let hash = function - | ConstKey c -> combinesmall 1 (Constant.hash c) + | ConstKey c -> combinesmall 1 (Constant.UserOrd.hash c) | VarKey id -> combinesmall 2 (Id.hash id) | RelKey i -> combinesmall 3 (Int.hash i) end |