diff options
| -rw-r--r-- | checker/closure.ml | 4 | ||||
| -rw-r--r-- | kernel/closure.ml | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/checker/closure.ml b/checker/closure.ml index 6248b440f..831f50454 100644 --- a/checker/closure.ml +++ b/checker/closure.ml @@ -169,7 +169,7 @@ module KeyHash = struct type t = table_key let equal k1 k2 = match k1, k2 with - | ConstKey c1, ConstKey c2 -> Constant.equal c1 c2 + | ConstKey c1, ConstKey c2 -> Constant.UserOrd.equal c1 c2 | VarKey id1, VarKey id2 -> Id.equal id1 id2 | RelKey i1, RelKey i2 -> Int.equal i1 i2 | (ConstKey _ | VarKey _ | RelKey _), _ -> false @@ -177,7 +177,7 @@ struct 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 diff --git a/kernel/closure.ml b/kernel/closure.ml index 55b038482..7b94ecfb8 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 |