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: make_still_working~5893
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7e39044931dac6b49b98b0fc3938d5cae8c87a52;p=helm.git

Code extraction unbranched again.
---

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