From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 16 Nov 2007 09:33:37 +0000 (+0000)
Subject: fix -noinnertypes set to true!
X-Git-Tag: 0.4.96@7881~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=85ce121c8386c967b9f2dc681093927cd32e5bd1

fix -noinnertypes set to true!
---

diff --git a/matita/matitaInit.ml b/matita/matitaInit.ml
index 3beb85ca6..8ae9b00a3 100644
--- a/matita/matitaInit.ml
+++ b/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),