Porting to ocaml 5

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / mrcInput.ml

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml b/matita/matita/contribs/lambdadelta/bin/recomm/mrcInput.ml
index e31efac1f9a3134168f6c9fe34c279c812b38844..2d6e3b431046ca6be164f7411e3fb1b5326eb5e4 100644 (file)
--- 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;
   }