X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fregistry%2Fhelm_registry.ml;h=52136209016c0214141792112076059c86929dc2;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=8e300797ab0b9dc2237d2e98c56278a7316f9a15;hpb=f277b17863953c96c944ca5101394b6a726abc8c;p=helm.git

diff --git a/helm/ocaml/registry/helm_registry.ml b/helm/ocaml/registry/helm_registry.ml
index 8e300797a..521362090 100644
--- a/helm/ocaml/registry/helm_registry.ml
+++ b/helm/ocaml/registry/helm_registry.ml
@@ -91,7 +91,7 @@ let restore_registry backup registry =
    *)
 let valid_step_rex_raw = "[a-zA-Z0-9]+\\(_[a-z0A-Z-9]+\\)*"
 let valid_key_rex_raw =
-  sprintf "%s\(\\.%s\)*" valid_step_rex_raw valid_step_rex_raw
+  sprintf "%s\\(\\.%s\\)*" valid_step_rex_raw valid_step_rex_raw
 let valid_key_rex = Str.regexp ("^" ^ valid_key_rex_raw ^ "$")
 let interpolated_key_rex = Str.regexp ("\\$(" ^ valid_key_rex_raw ^ ")")
 let dot_rex = Str.regexp "\\."