Added debug print in NCicLibrary.serialize.

diff --git a/matitaB/components/ng_library/nCicLibrary.ml b/matitaB/components/ng_library/nCicLibrary.ml
index a8215ab6a1797cbdcf29aaa1aa34ffa1ae917d8e..6cb4029cf3d8dad9d8c7389fe65875f83c62b201 100644 (file)
--- 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) ->