X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaWiki.ml;h=ed884bda8c48511b5919b72a270efb6bd5f72c1a;hb=5356519d50425dfca5b42ad5faeb2181d4240c78;hp=3c5607bd7df9ff1bf458d61f5f0dac65a3aea604;hpb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;p=helm.git

diff --git a/matita/matitaWiki.ml b/matita/matitaWiki.ml
index 3c5607bd7..ed884bda8 100644
--- a/matita/matitaWiki.ml
+++ b/matita/matitaWiki.ml
@@ -212,7 +212,7 @@ let main () =
   Helm_registry.set_int "matita.verbosity" 0;
   let include_paths =
    Helm_registry.get_list Helm_registry.string "matita.includes" in
-  grafite_status := [GrafiteSync.init ()];
+  grafite_status := [GrafiteSync.init "cic:/matita/tests/"];
   lexicon_status :=
    [CicNotation2.load_notation ~include_paths
      BuildTimeConf.core_notation_script] ;