]> matita.cs.unibo.it Git - helm.git/commitdiff
fixed some invalid backslash escapes
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Aug 2004 13:13:15 +0000 (13:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 5 Aug 2004 13:13:15 +0000 (13:13 +0000)
helm/ocaml/registry/helm_registry.ml

index 8e300797ab0b9dc2237d2e98c56278a7316f9a15..52136209016c0214141792112076059c86929dc2 100644 (file)
@@ -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 "\\."