diff options
| author | Pierre-Marie Pédrot | 2018-10-04 11:18:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-04 11:18:02 +0200 |
| commit | 8a5cb2d9da73b94e1713f5ee6cba73e0680f20fb (patch) | |
| tree | b66c100bb04261b43970d630b1cbf30b552fe90a /ide/protocol | |
| parent | 79da82da057224eec8abaf96c20b0725f18b2945 (diff) | |
| parent | 87d5e79baea4f3679a1429d2a2e128b564eec5d5 (diff) | |
Merge PR #8626: [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0
Diffstat (limited to 'ide/protocol')
| -rw-r--r-- | ide/protocol/xml_lexer.mll | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/ide/protocol/xml_lexer.mll b/ide/protocol/xml_lexer.mll index 4a52147e17..e8bf7e16ae 100644 --- a/ide/protocol/xml_lexer.mll +++ b/ide/protocol/xml_lexer.mll @@ -83,9 +83,6 @@ 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'] @@ -222,7 +219,7 @@ and entity = parse { let ident = lexeme lexbuf in try - Hashtbl.find idents (lowercase ident) + Hashtbl.find idents (String.lowercase_ascii ident) with Not_found -> "&" ^ ident } |
