X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_kernel%2FnReference.ml;h=5fd28044dd872f179df5ba49ad32b14bf41bbb25;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=102f25046f84187a495d5778deebf1f1c6148d5d;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git

diff --git a/matita/components/ng_kernel/nReference.ml b/matita/components/ng_kernel/nReference.ml
index 102f25046..5fd28044d 100644
--- 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
 ;;