FIX OF THE PREVIOUS EXPERIMENTAL COMMIT:

[helm.git] / helm / software / matita / matitaWiki.ml

diff --git a/helm/software/matita/matitaWiki.ml b/helm/software/matita/matitaWiki.ml
index eb115636f8360c07a461c39d4d10c25e38f847ec..5ed1d41b443e5b56d6a3355e0593b12da6de5595 100644 (file)
--- a/helm/software/matita/matitaWiki.ml
+++ b/helm/software/matita/matitaWiki.ml
@@ -254,7 +254,7 @@ let main () =
        in
        GrafiteMarshal.save_moo moo_fname moo_content_rev;
        LexiconMarshal.save_lexicon lexicon_fname lexicon_content_rev;
-       NCicLibrary.serialize ~baseuri:(NUri.uri_of_string baseuri) dump;
+       NRstatus.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri) dump;
        exit 0
      end
   with