Added matitadaemon.

[helm.git] / matitaB / components / ng_library / nCicLibrary.ml

diff --git a/matitaB/components/ng_library/nCicLibrary.ml b/matitaB/components/ng_library/nCicLibrary.ml
index 87f0cb31b122f8e9f487a4187a947d143559f327..92c57b12391f960ec09f6693c3d364ef5b50e83c 100644 (file)
--- a/matitaB/components/ng_library/nCicLibrary.ml
+++ b/matitaB/components/ng_library/nCicLibrary.ml
@@ -231,13 +231,16 @@ module Serializer(D: sig type dumpable_s val get: dumpable_s -> dumpable_status
      assert (not (List.mem tag !already_registered));
      already_registered := tag :: !already_registered;
      let old_require1 = !require1 in
+     prerr_endline "let old_require 1 superata";
      require1 :=
       (fun ~alias_only ((tag',data) as x) ->
         if tag=tag' then
+                (prerr_endline ("requiring tag': " ^ tag');
          require (Obj.magic data) ~refresh_uri_in_universe ~refresh_uri_in_term
-          ~refresh_uri_in_reference ~alias_only
+          ~refresh_uri_in_reference ~alias_only)
         else
          old_require1 ~alias_only x);
+     prerr_endline ("added require tag" ^ tag);
      (fun x -> tag,Obj.repr x)
    end