From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Mon, 12 Sep 2011 13:00:54 +0000 (+0000)
Subject: Added debug print in NCicLibrary.serialize.
X-Git-Tag: make_still_working~2286
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=63397acf074c9fe79704b881f9e5ff5582883465

Added debug print in NCicLibrary.serialize.
---

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) ->