From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 7 Nov 2007 14:39:07 +0000 (+0000)
Subject: Code extraction unbranched again.
X-Git-Tag: 0.4.95@7852~44
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=ce0d4228b95ea04d5406f1bba53c67af64630d07

Code extraction unbranched again.
---

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 :-(