removed debug saving of "foo.conf.xml"

[helm.git] / helm / matita / matitaInit.ml

diff --git a/helm/matita/matitaInit.ml b/helm/matita/matitaInit.ml
index f7003796b4027e25d140fedbb4b74d19806a8a8a..84dff49e9eced28ba3de448426503fc6550f0d56 100644 (file)
--- a/helm/matita/matitaInit.ml
+++ b/helm/matita/matitaInit.ml
@@ -195,7 +195,6 @@ let parse_cmdline init_status =
     Arg.parse arg_spec (add_l args) (usage ());
     set_list ~key:"matita.includes" includes;
     set_list ~key:"matita.args" args;
-Helm_registry.save_to "./foo.conf.xml";
     CmdLine :: init_status
   end else
     init_status