diff options
Diffstat (limited to 'src/global_checks.ml')
| -rw-r--r-- | src/global_checks.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/global_checks.ml b/src/global_checks.ml index 800bb54..ceed828 100644 --- a/src/global_checks.ml +++ b/src/global_checks.ml @@ -165,7 +165,7 @@ let is_global_var context ident = match context with | I_scalar -> (match ident with - | "@" | "!" | ">" | "\\" | "$" | "^A" | "'" | "/" | "?" | "<" | "^W" | "|" | "^I" | "&" | "." + | "@" | "!" | ">" | "\\" | "$" | "^A" | "'" | "/" | "?" | "<" | "^S" | "^W" | "|" | "^I" | "&" | "." | "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" -> true | _ -> false) | I_array -> |