X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitaprover.ml;h=79ab7683b04acbd045d140cfcf3e65eef04e6ce1;hb=5356519d50425dfca5b42ad5faeb2181d4240c78;hp=7a6503ab36e7f15c2730770ce5c55d3aa7a3d504;hpb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;p=helm.git

diff --git a/matita/matitaprover.ml b/matita/matitaprover.ml
index 7a6503ab3..79ab7683b 100644
--- a/matita/matitaprover.ml
+++ b/matita/matitaprover.ml
@@ -104,7 +104,7 @@ let main () =
   in
 (*   prerr_endline data; *)
   let is = Ulexing.from_utf8_string data in
-  let gs = GrafiteSync.init () in
+  let gs = GrafiteSync.init "cic:/TPTP/" in
   let ls = 
     CicNotation2.load_notation ~include_paths:[] 
       BuildTimeConf.core_notation_script 
@@ -115,7 +115,6 @@ let main () =
       MatitaEngine.eval_from_stream 
         ~first_statement_only:false 
         ~include_paths:[]
-        ~clean_baseuri:true
         ~do_heavy_checks:false
         ~prompt:false
         ls gs is