From c7b6f4c93dd1fcdb4f226cf7ff22f75ae8728dba Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 28 Nov 2007 22:29:16 +0000
Subject: [PATCH] Dead code removed.

---
 helm/software/matita/matitacLib.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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
-- 
2.39.2