X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnnAuto.ml;fp=matita%2Fcomponents%2Fng_tactics%2FnnAuto.ml;h=2dc0be3f443cbc9609eddba7bbe2239ec328d807;hb=6b76c5b3b82753966cabffd8536d8dd9f8cada20;hp=d371409d2ecac8587947476abcba11087074d43d;hpb=aa5c8c99c9f7ae285883cff133fc02b3d064888c;p=helm.git

diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml
index d371409d2..2dc0be3f4 100644
--- a/matita/components/ng_tactics/nnAuto.ml
+++ b/matita/components/ng_tactics/nnAuto.ml
@@ -70,7 +70,7 @@ let print_stat _status tbl =
   let l = RefHash.fold (fun a v l -> (a,v)::l) tbl [] in
   let relevance v = float !(v.uses) /. float !(v.nominations) in
   let vcompare (_,v1) (_,v2) =
-    Pervasives.compare (relevance v1) (relevance v2) in
+    Stdlib.compare (relevance v1) (relevance v2) in
   let l = List.sort vcompare l in
   let short_name r = 
     Filename.chop_extension 
@@ -1490,7 +1490,7 @@ let pp_goals status l =
 module M = 
   struct 
     type t = int
-    let compare = Pervasives.compare
+    let compare = Stdlib.compare
   end
 ;;