X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmatita%2Fmatitadep.ml;h=40f91235a5a9e9ac82ae6d7e9c66f5253034a8f4;hb=0bf96cb668cdd8d14b1c66f8a5241f12c5df9e3a;hp=5a73c099bee3866cd1d8294c3a6e8e0e13c5c573;hpb=25992baa7fb25b39694f138b8d1483a249b1a266;p=helm.git

diff --git a/helm/matita/matitadep.ml b/helm/matita/matitadep.ml
index 5a73c099b..40f91235a 100644
--- a/helm/matita/matitadep.ml
+++ b/helm/matita/matitadep.ml
@@ -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);