From cd9181526a9d57eadeb4e7c1f6b7b440946fd432 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 16 Feb 2004 17:24:14 +0000 Subject: [PATCH] bugfix: top level keys now should work --- helm/ocaml/registry/helm_registry.ml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/helm/ocaml/registry/helm_registry.ml b/helm/ocaml/registry/helm_registry.ml index 3c0a9d688..969644b01 100644 --- a/helm/ocaml/registry/helm_registry.ml +++ b/helm/ocaml/registry/helm_registry.ml @@ -194,7 +194,11 @@ open Pxp_yacc let load_from_absolute = let config = default_config in let entry = `Entry_document [ `Extend_dtd_fully; `Parse_xml_decl ] in - let fold_key key_stack key = String.concat "." key_stack ^ "." ^ key in + let fold_key key_stack key = + match key_stack with + | [] -> key + | _ -> String.concat "." key_stack ^ "." ^ key + in fun fname -> debug_print ("Loading configuration from " ^ fname); let document = -- 2.39.2