From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 Aug 2004 13:13:15 +0000 (+0000)
Subject: fixed some invalid backslash escapes
X-Git-Tag: V_0_6_3_2~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3a9792d6db5799d32bc11c99c78c8b180f58933;p=helm.git

fixed some invalid backslash escapes
---

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 "\\."