X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=0b8b58c0ddc1d452cfa2e9f58d2cddb38237e068;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=6d01fc460f665ca861d71a96c120d881d648af4d;hpb=5e3174ab11d8a4e4779d561cd48227a050a0d1a2;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 6d01fc460..0b8b58c0d 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -274,7 +274,7 @@ let compile atstart options fname =
         (* FG: we do not generate .moo when dumping .mma files *)
         GrafiteMarshal.save_moo moo_fname moo_content_rev;
         LexiconMarshal.save_lexicon lexicon_fname lexicon_content_rev;
-        NRstatus.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri)
+        NCicLibrary.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri)
          grafite_status#dump
      end;
      let tm = Unix.gmtime elapsed in