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

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