From 6d1af82b714e5c6a7f33534d6832598e72cb23c3 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 5 Oct 2005 09:13:09 +0000
Subject: [PATCH] removed debug saving of "foo.conf.xml"

---
 helm/matita/matitaInit.ml | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.39.2