update in ground_2 and basic_2

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

diff --git a/helm/software/matita/matitaWiki.ml b/helm/software/matita/matitaWiki.ml
index f9c9af3590de8cdb03a1ba1f6dde67f4e7a18ef1..52d18f42a3ea5d43caaf6856d02d5aabb8377900 100644 (file)
--- a/helm/software/matita/matitaWiki.ml
+++ b/helm/software/matita/matitaWiki.ml
@@ -143,7 +143,7 @@ let rec interactive_loop () =
            LexiconSync.time_travel
             ~present:cur_grafite_status ~past:grafite_status;
            GrafiteSync.time_travel
-            ~present:cur_grafite_status ~past:grafite_status;
+            ~present:cur_grafite_status ~past:grafite_status ();
            interactive_loop (Some n)
     | `Do command ->
         let str = Ulexing.from_utf8_string command in
@@ -251,7 +251,7 @@ let main () =
        in
        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) dump;
+       NCicLibrary.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri) dump;
        exit 0
      end
   with