From 7237ccb621d58b2c86ef250f1c3e3ffd29260955 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Tue, 21 Jun 2016 15:49:07 +0200 Subject: Remove code that will is deprecated in ocaml 4.03 Most of the code can be String.uppercase usages can either be replaced by a more specialized version of coqstring_of_camlstring (which is also slightly more effecient) or by specialized checks that reject wrong code earlier. Bug 19187 --- cfrontend/C2C.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cfrontend/C2C.ml') diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 16e8a80d..decbf58b 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -876,7 +876,7 @@ let convertAsm loc env txt outputs inputs clobber = let (txt', output', inputs') = ExtendedAsm.transf_asm loc env txt outputs inputs clobber in let clobber' = - List.map (fun s -> coqstring_of_camlstring (String.uppercase s)) clobber in + List.map (fun s -> coqstring_uppercase_ascii_of_camlstring s) clobber in let ty_res = match output' with None -> TVoid [] | Some e -> e.etyp in (* Build the Ebuiltin expression *) -- cgit