From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 8 Nov 2007 12:28:12 +0000 (+0000)
Subject: forced associativity in if construct
X-Git-Tag: 0.4.95@7852~39
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c6e99dc27b51fee56d4d1c6f88d1a8e6ff83af5a;p=helm.git

forced associativity in if construct
---

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index a1d370ddc..bed0819db 100644
--- a/matita/matitacLib.ml
+++ b/matita/matitacLib.ml
@@ -305,7 +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 basename = Filename.basename (Filename.chop_extension fname) in
    let baseuri =
     (* This does not work yet :-(
        let baseuri =
@@ -329,7 +329,7 @@ let main ~mode =
      (fun _ obj ->
        output_string (Lazy.force f)
         (CicExportation.ppobj (Lazy.force baseuri) obj);
-       flush (Lazy.force f));
+       flush (Lazy.force f)));
   let system_mode =  Helm_registry.get_bool "matita.system" in
   let bench_mode =  Helm_registry.get_bool "matita.bench" in
   if bench_mode then