]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matitaInit.ml
snapshot for camlp5 v5
[helm.git] / matita / matitaInit.ml
index 3beb85ca61c10f3092e1be2195d004918c73a106..076cae5e9c88902db4dad7768df7851600e1f366 100644 (file)
@@ -52,6 +52,7 @@ let registry_defaults = [
   "matita.bench",                "false";
   "matita.paste_unicode_as_tex", "false";
   "matita.noinnertypes",         "false";
+  "matita.do_heavy_checks",      "true";
     (** verbosity level: 1 is the default, 0 is intuitively "quiet", > 1 is
      * intuitively verbose *)
 ]
@@ -246,7 +247,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),