projects
/
helm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
915c3e1
)
bugfix: removed spurious section "helm_registry" from save_to generated files
author
Stefano Zacchiroli
<zack@upsilon.cc>
Thu, 14 Jul 2005 09:14:18 +0000
(09:14 +0000)
committer
Stefano Zacchiroli
<zack@upsilon.cc>
Thu, 14 Jul 2005 09:14:18 +0000
(09:14 +0000)
helm/ocaml/registry/helm_registry.ml
patch
|
blob
|
history
diff --git
a/helm/ocaml/registry/helm_registry.ml
b/helm/ocaml/registry/helm_registry.ml
index a845cb576e2017083a18230e66de0ce766295a93..8ee95ca30b646706e54c602188fed6236c5d4c55 100644
(file)
--- 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