diff options
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 |