diff options
Diffstat (limited to 'kernel/sorts.ml')
-rw-r--r-- | kernel/sorts.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/sorts.ml b/kernel/sorts.ml index bfcdc0b4d..1462aad91 100644 --- a/kernel/sorts.ml +++ b/kernel/sorts.ml @@ -104,4 +104,4 @@ module Hsorts = let hash = Hashtbl.hash (** FIXME *) end) -let hcons = Hashcons.simple_hcons Hsorts.generate hcons_univ +let hcons = Hashcons.simple_hcons Hsorts.generate Hsorts.hcons hcons_univ |