diff options
Diffstat (limited to 'utils/warnings.ml')
| -rw-r--r-- | utils/warnings.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/utils/warnings.ml b/utils/warnings.ml index ff13c77650..0547f21c95 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -206,7 +206,7 @@ let parse_opt error active flags s = if i >= String.length s then () else match s.[i] with | 'A' .. 'Z' -> - List.iter set (letter (Char.lowercase s.[i])); + List.iter set (letter (Char.lowercase_ascii s.[i])); loop (i+1) | 'a' .. 'z' -> List.iter clear (letter s.[i]); @@ -223,7 +223,7 @@ let parse_opt error active flags s = for n = n1 to min n2 last_warning_number do myset n done; loop i | 'A' .. 'Z' -> - List.iter myset (letter (Char.lowercase s.[i])); + List.iter myset (letter (Char.lowercase_ascii s.[i])); loop (i+1) | 'a' .. 'z' -> List.iter myset (letter s.[i]); @@ -489,10 +489,10 @@ let help_warnings () = match letter c with | [] -> () | [n] -> - Printf.printf " %c Synonym for warning %i.\n" (Char.uppercase c) n + Printf.printf " %c Synonym for warning %i.\n" (Char.uppercase_ascii c) n | l -> Printf.printf " %c Set of warnings %s.\n" - (Char.uppercase c) + (Char.uppercase_ascii c) (String.concat ", " (List.map string_of_int l)) done; exit 0 |