From e458675a224b333b5e580434de927835584920b7 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 8 Nov 2007 12:28:12 +0000 Subject: [PATCH] forced associativity in if construct --- helm/software/matita/matitacLib.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/matitacLib.ml b/helm/software/matita/matitacLib.ml index a1d370ddc..bed0819db 100644 --- a/helm/software/matita/matitacLib.ml +++ b/helm/software/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 -- 2.39.2