From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 5 Oct 2005 09:13:09 +0000 (+0000)
Subject: removed debug saving of "foo.conf.xml"
X-Git-Tag: V_0_7_2_3~247
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6d1af82b714e5c6a7f33534d6832598e72cb23c3;p=helm.git

removed debug saving of "foo.conf.xml"
---

diff --git a/helm/matita/matitaInit.ml b/helm/matita/matitaInit.ml
index f7003796b..84dff49e9 100644
--- 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