From 87d5e79baea4f3679a1429d2a2e128b564eec5d5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 15:59:06 +0200
Subject: [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0

---
 tools/coqdoc/alpha.ml | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)

(limited to 'tools/coqdoc/alpha.ml')

diff --git a/tools/coqdoc/alpha.ml b/tools/coqdoc/alpha.ml
index 269c1a1d50..36ce405fe6 100644
--- a/tools/coqdoc/alpha.ml
+++ b/tools/coqdoc/alpha.ml
@@ -10,11 +10,7 @@
 
 open Cdglobals
 
-[@@@ocaml.warning "-3"]       (* Char.uppercase_ascii since 4.03.0 GPR#124 *)
-let uppercase = Char.uppercase
-[@@@ocaml.warning "+3"]
-
-let norm_char_latin1 c = match uppercase c with
+let norm_char_latin1 c = match Char.uppercase_ascii c with
   | '\192'..'\198' -> 'A'
   | '\199' -> 'C'
   | '\200'..'\203' -> 'E'
@@ -25,12 +21,12 @@ let norm_char_latin1 c = match uppercase c with
   | '\221' -> 'Y'
   | c -> c
 
-let norm_char_utf8 c = uppercase c
+let norm_char_utf8 c = Char.uppercase_ascii c
 
 let norm_char c =
   if !utf8 then norm_char_utf8 c else
   if !latin1 then norm_char_latin1 c else
-  uppercase c
+  Char.uppercase_ascii c
 
 let norm_string = String.map (fun s -> norm_char s)
 
-- 
cgit v1.2.3