X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitadep.ml;h=fe7cab92075ee99c3dd74bfe57d71934e4cbbb99;hb=9aa2df835e06cb49ba6381cef62b8aa137aad9c2;hp=0186a245a44269bb1f0f7227ee9bd866566cf0e4;hpb=db068aa35cc47bb881ec810bf3b904c3d7cc9379;p=helm.git

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 0186a245a..fe7cab920 100644
--- 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)))
 ;;