X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.ml;h=8ae9b00a37fb0e325058428be5ade6bb957abc66;hb=66faca1dc849662e27d760b950294ef66a5741b3;hp=3beb85ca61c10f3092e1be2195d004918c73a106;hpb=676523786dfa270a37f4566c5d265034a67311da;p=helm.git

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),