Porting to ocaml 5

[helm.git] / matita / components / disambiguation / disambiguateTypes.ml

diff --git a/matita/components/disambiguation/disambiguateTypes.ml b/matita/components/disambiguation/disambiguateTypes.ml
index 19c16d1305e89c3fdb0b734f370438eed5af5d38..9c37fa36c91ba5aa30bfe648c5e7dddeff067ca3 100644 (file)
--- a/matita/components/disambiguation/disambiguateTypes.ml
+++ b/matita/components/disambiguation/disambiguateTypes.ml
@@ -41,7 +41,7 @@ exception Invalid_choice of (Stdpp.location * string) Lazy.t
 module OrderedDomain =
   struct
     type t = domain_item
-    let compare = Pervasives.compare
+    let compare = Stdlib.compare
   end
 
 (* module Domain = Set.Make (OrderedDomain) *)