avoid duplicates

[helm.git] / matita / matitadep.ml

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 0186a245a44269bb1f0f7227ee9bd866566cf0e4..fe7cab92075ee99c3dd74bfe57d71934e4cbbb99 100644 (file)
--- a/matita/matitadep.ml
+++ b/matita/matitadep.ml
@@ -169,6 +169,8 @@ let main () =
           acc d)
       [] deps
   in
-  Librarian.write_deps_file (Sys.getcwd()) (deps@List.map (fun x -> x,[]) extern)
+  Librarian.write_deps_file (Sys.getcwd()) 
+   (deps@HExtlib.list_uniq (List.sort Pervasives.compare (List.map (fun x ->
+           x,[]) extern)))
 ;;