diff options
| -rw-r--r-- | stdlib/char.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/char.ml b/stdlib/char.ml index f6a46a0ae..deb477cb0 100644 --- a/stdlib/char.ml +++ b/stdlib/char.ml @@ -48,13 +48,13 @@ let escaped = function let lowercase c = if (c >= 'A' && c <= 'Z') || (c >= '\192' && c <= '\214') - || (c >= '\217' && c <= '\222') + || (c >= '\216' && c <= '\222') then unsafe_chr(code c + 32) else c let uppercase c = if (c >= 'a' && c <= 'z') || (c >= '\224' && c <= '\246') - || (c >= '\249' && c <= '\254') + || (c >= '\248' && c <= '\254') then unsafe_chr(code c - 32) else c |