From ce0d4228b95ea04d5406f1bba53c67af64630d07 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.

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

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index 3a6335cb1..a1d370ddc 100644
--- a/matita/matitacLib.ml
+++ b/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