diff options
Diffstat (limited to 'pretyping/evd.ml')
| -rw-r--r-- | pretyping/evd.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/pretyping/evd.ml b/pretyping/evd.ml index 0f2f4655b9..500e190020 100644 --- a/pretyping/evd.ml +++ b/pretyping/evd.ml @@ -177,11 +177,8 @@ type sort_constraint = | SortVar of sort_var list * sort_var list (* (leq,geq) *) | EqSort of sort_var -module UniverseOrdered = struct - type t = Univ.universe - let compare = Pervasives.compare -end -module UniverseMap = Map.Make(UniverseOrdered) +module UniverseMap = + Map.Make (struct type t = Univ.universe let compare = compare end) type sort_constraints = sort_constraint UniverseMap.t |