From: Enrico Tassi 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