diff options
Diffstat (limited to 'kernel/sorts.ml')
| -rw-r--r-- | kernel/sorts.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kernel/sorts.ml b/kernel/sorts.ml index b8bebb659b..01ee91d108 100644 --- a/kernel/sorts.ml +++ b/kernel/sorts.ml @@ -111,9 +111,9 @@ module Hsorts = type u = Universe.t -> Universe.t let hashcons huniv = function - | Type u as c -> - let u' = huniv u in - if u' == u then c else Type u' + | Type u as c -> + let u' = huniv u in + if u' == u then c else Type u' | s -> s let eq s1 s2 = match (s1,s2) with | Prop, Prop | Set, Set -> true |