X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_library%2FnCicLibrary.ml;h=6cb4029cf3d8dad9d8c7389fe65875f83c62b201;hb=63397acf074c9fe79704b881f9e5ff5582883465;hp=a8215ab6a1797cbdcf29aaa1aa34ffa1ae917d8e;hpb=802383ec61e0466b5cc75a1347eddc4c438e352d;p=helm.git

diff --git a/matitaB/components/ng_library/nCicLibrary.ml b/matitaB/components/ng_library/nCicLibrary.ml
index a8215ab6a..6cb4029cf 100644
--- a/matitaB/components/ng_library/nCicLibrary.ml
+++ b/matitaB/components/ng_library/nCicLibrary.ml
@@ -255,6 +255,8 @@ module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status
    let ch = open_out (ng_path_of_baseuri (D.user status) baseuri) in
    Marshal.to_channel ch (magic,((D.get status)#dump.dependencies,(D.get status)#dump.objs)) [];
    close_out ch;
+   let deps = String.concat ", " ((D.get status)#dump.dependencies) in 
+   prerr_endline ("dumping dependencies:\n" ^ deps ^ "\nend of deps");
    List.iter
     (function 
      | `Obj (uri,obj) ->