X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaWiki.ml;h=52d18f42a3ea5d43caaf6856d02d5aabb8377900;hb=eadeb433386822aac6862c76ba73957c07a99098;hp=ba6840ee5e500d51aed42c02660f05e527561de4;hpb=a18562238677261e3d0b590e046290a14fe62e74;p=helm.git

diff --git a/helm/software/matita/matitaWiki.ml b/helm/software/matita/matitaWiki.ml
index ba6840ee5..52d18f42a 100644
--- 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