X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatitaprover.ml;h=fd571065e23c1c698be4ea2859837702516949d7;hb=4f1bd2790a4448a8ebfbe67eb8baa481c124745c;hp=5383493ed4091824a33bc63c162d2fb27d1a5782;hpb=afde27cb7aaaf833e20cca4f6a4a49571a8196a6;p=helm.git

diff --git a/helm/software/matita/matitaprover.ml b/helm/software/matita/matitaprover.ml
index 5383493ed..fd571065e 100644
--- a/helm/software/matita/matitaprover.ml
+++ b/helm/software/matita/matitaprover.ml
@@ -93,7 +93,6 @@ let main () =
        "Timeout in seconds"];
   MatitaInit.parse_cmdline ();
   MatitaInit.load_configuration_file ();
-  Helm_registry.set_bool "db.nodb" true;
   Helm_registry.set_bool "matita.nodisk" true;
   HLog.set_log_callback (fun _ _ -> ()); 
   let args = Helm_registry.get_list Helm_registry.string "matita.args" in