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

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index bed0819db..316d0f9f6 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -305,8 +305,7 @@ let main ~mode =
   (* must be called after init since args are set by cmdline parsing *)
   let fname = fname () in
   if false then
-   (let basename = Filename.basename (Filename.chop_extension fname) in
-   let baseuri =
+   (let baseuri =
     (* This does not work yet :-(
        let baseuri =
         GrafiteTypes.get_string_option