X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitacLib.ml;h=316d0f9f675ef9d78a168c03b33734b9d609fb23;hb=c38c15fa800498bcac6230e07a31ed54414a0865;hp=3a6335cb14e65355df7e313abad09e9c484956be;hpb=d862dbee70203011317c1b8be73bd446893b359b;p=helm.git

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 3a6335cb1..316d0f9f6 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -304,9 +304,8 @@ let main ~mode =
   MatitaInit.initialize_all ();
   (* must be called after init since args are set by cmdline parsing *)
   let fname = fname () in
-  if true then
-   let basename = Filename.basename (Filename.chop_extension fname) in
-   let baseuri =
+  if false then
+   (let baseuri =
     (* This does not work yet :-(
        let baseuri =
         GrafiteTypes.get_string_option
@@ -329,7 +328,7 @@ let main ~mode =
      (fun _ obj ->
        output_string (Lazy.force f)
         (CicExportation.ppobj (Lazy.force baseuri) obj);
-       flush (Lazy.force f));
+       flush (Lazy.force f)));
   let system_mode =  Helm_registry.get_bool "matita.system" in
   let bench_mode =  Helm_registry.get_bool "matita.bench" in
   if bench_mode then