From 63397acf074c9fe79704b881f9e5ff5582883465 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Mon, 12 Sep 2011 13:00:54 +0000 Subject: [PATCH] Added debug print in NCicLibrary.serialize. --- matitaB/components/ng_library/nCicLibrary.ml | 2 ++ 1 file changed, 2 insertions(+) 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) -> -- 2.39.2