Porting to ocaml 5

[helm.git] / matita / components / ng_kernel / nReference.ml

diff --git a/matita/components/ng_kernel/nReference.ml b/matita/components/ng_kernel/nReference.ml
index 102f25046f84187a495d5778deebf1f1c6148d5d..5fd28044dd872f179df5ba49ad32b14bf41bbb25 100644 (file)
--- a/matita/components/ng_kernel/nReference.ml
+++ b/matita/components/ng_kernel/nReference.ml
@@ -37,7 +37,7 @@ let hash (Ref (uri,spec)) =
 module OrderedStrings =
  struct
   type t = string
-  let compare (s1 : t) (s2 : t) = Pervasives.compare s1 s2
+  let compare (s1 : t) (s2 : t) = Stdlib.compare s1 s2
  end
 ;;