(* 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;
- NCicLibrary.serialize ~baseuri:(NUri.uri_of_string baseuri)
+ NRstatus.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri)
(GrafiteTypes.get_dump grafite_status)
end;
let tm = Unix.gmtime elapsed in