X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.ml;h=705108aa659304311e540d12a9e3bb567ad23e48;hb=790eccfa6b94dc82826d919691f8d4bfadb04573;hp=cf96c5ba1261e45a29c0396bd1c1c6778d326016;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index cf96c5ba1..705108aa6 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -52,6 +52,7 @@ let registry_defaults = [
   "matita.noinnertypes",         "false";
   "matita.do_heavy_checks",      "true";
   "matita.moo",                  "true";
+  "matita.extract",              "false";
 ]
 
 let set_registry_values =