From f35d1a64255215087e0b15938eaa085152f1d787 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 16 Nov 2007 09:33:37 +0000 Subject: [PATCH] fix -noinnertypes set to true! --- helm/software/matita/matitaInit.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml index 3beb85ca6..8ae9b00a3 100644 --- a/helm/software/matita/matitaInit.ml +++ b/helm/software/matita/matitaInit.ml @@ -246,7 +246,7 @@ let parse_cmdline init_status = Helm_registry.set_int "matita.verbosity" (Helm_registry.get_int "matita.verbosity" + 1) in let no_innertypes () = - Helm_registry.set_bool "matita.noinnertypes" false in + Helm_registry.set_bool "matita.noinnertypes" true in let arg_spec = let std_arg_spec = [ "-I", Arg.String (add_l includes), -- 2.39.2