X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FmrcInput.ml;h=2d6e3b431046ca6be164f7411e3fb1b5326eb5e4;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=e31efac1f9a3134168f6c9fe34c279c812b38844;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml b/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml
index e31efac1f..2d6e3b431 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml
@@ -41,7 +41,7 @@ let read_dir file =
     Filename.remove_extension name
   in
   let dir = Array.to_list (Sys.readdir file) in
-  let mods = List.fast_sort Pervasives.compare (list_rev_filter_map filter map dir) in
+  let mods = List.fast_sort Stdlib.compare (list_rev_filter_map filter map dir) in
   {
     ET.cdir = file; mods;
   }
@@ -62,7 +62,7 @@ let read_index dir =
     try read_mods mods ich with
     | End_of_file -> close_in ich 
   end;
-  let mods = List.fast_sort Pervasives.compare !mods in
+  let mods = List.fast_sort Stdlib.compare !mods in
   {
     ET.cdir = dir; mods;
   }