From 7e39044931dac6b49b98b0fc3938d5cae8c87a52 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 7 Nov 2007 14:39:07 +0000
Subject: [PATCH] Code extraction unbranched again.

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

diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml
index 3a6335cb1..a1d370ddc 100644
--- a/helm/software/matita/matitacLib.ml
+++ b/helm/software/matita/matitacLib.ml
@@ -304,7 +304,7 @@ 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
+  if false then
    let basename = Filename.basename (Filename.chop_extension fname) in
    let baseuri =
     (* This does not work yet :-(
-- 
2.39.2