diff options
Diffstat (limited to 'kernel/mod_subst.ml')
| -rw-r--r-- | kernel/mod_subst.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/mod_subst.ml b/kernel/mod_subst.ml index 8bd0a653c9..f2511dbde6 100644 --- a/kernel/mod_subst.ml +++ b/kernel/mod_subst.ml @@ -50,7 +50,7 @@ let empty_delta_resolver = Deltamap.empty module MBImap = Map.Make (struct type t = mod_bound_id - let compare = Pervasives.compare + let compare = mod_bound_id_ord end) module Umap = struct |