diff options
Diffstat (limited to 'ide/xml_lexer.mll')
| -rw-r--r-- | ide/xml_lexer.mll | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ide/xml_lexer.mll b/ide/xml_lexer.mll index 290f2c89..4a52147e 100644 --- a/ide/xml_lexer.mll +++ b/ide/xml_lexer.mll @@ -83,6 +83,9 @@ let error lexbuf e = last_pos := lexeme_start lexbuf; raise (Error e) +[@@@ocaml.warning "-3"] (* String.lowercase_ascii since 4.03.0 GPR#124 *) +let lowercase = String.lowercase +[@@@ocaml.warning "+3"] } let newline = ['\n'] @@ -219,7 +222,7 @@ and entity = parse { let ident = lexeme lexbuf in try - Hashtbl.find idents (String.lowercase ident) + Hashtbl.find idents (lowercase ident) with Not_found -> "&" ^ ident } |