moved list_uniq to the extlib

[helm.git] / helm / matita / matitadep.ml

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index 9fafa4907f3dd54f83c20777e69baf44363cc038..40f91235a5a9e9ac82ae6d7e9c66f5253034a8f4 100644 (file)
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -74,7 +74,7 @@ let main () =
   List.iter
    (fun file -> 
     let ic = open_in file in
-    let istream = Stream.of_channel ic in
+    let istream = Ulexing.from_utf8_channel ic in
     let dependencies = GrafiteParser.parse_dependencies istream in
     close_in ic;
     List.iter 
@@ -107,7 +107,7 @@ let main () =
    (fun file -> 
     let deps = Hashtbl.find_all include_deps file in
     let deps = List.fast_sort Pervasives.compare deps in
-    let deps = MatitaMisc.list_uniq deps in
+    let deps = HExtlib.list_uniq deps in
     let deps = file :: deps in
     let moo = MatitaMisc.obj_file_of_script file in
      Printf.printf "%s: %s\n" moo (String.concat " " deps);