From f0bf1ea643723eced46776e79975de6983885389 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 14 Jul 2005 09:14:18 +0000 Subject: [PATCH] bugfix: removed spurious section "helm_registry" from save_to generated files --- helm/ocaml/registry/helm_registry.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/registry/helm_registry.ml b/helm/ocaml/registry/helm_registry.ml index a845cb576..8ee95ca30 100644 --- a/helm/ocaml/registry/helm_registry.ml +++ b/helm/ocaml/registry/helm_registry.ml @@ -242,9 +242,9 @@ let xml_tree_of_registry registry = | _ -> assert false in Hashtbl.fold - (fun k v tree -> add_key ("helm_registry" :: (Str.split dot_RE k)) v tree) + (fun k v tree -> add_key ((Str.split dot_RE k)) v tree) registry - (Element ("helm_registry", [], [])) + (Element (root_tag, [], [])) let rec stream_of_xml_tree = function | Cdata s -> Xml.xml_cdata s -- 2.39.2