X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2FdisambiguateTypes.ml;h=9c37fa36c91ba5aa30bfe648c5e7dddeff067ca3;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=19c16d1305e89c3fdb0b734f370438eed5af5d38;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/components/disambiguation/disambiguateTypes.ml b/matita/components/disambiguation/disambiguateTypes.ml
index 19c16d130..9c37fa36c 100644
--- 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) *)