diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-21 15:49:07 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-21 15:49:07 +0200 |
| commit | 7237ccb621d58b2c86ef250f1c3e3ffd29260955 (patch) | |
| tree | e770b9a015468751e0b006496fa7518402c88c96 /cfrontend/C2C.ml | |
| parent | 8f444dec7112e5b125bf3ead8481ae0f698bbb96 (diff) | |
| download | compcert-7237ccb621d58b2c86ef250f1c3e3ffd29260955.tar.gz compcert-7237ccb621d58b2c86ef250f1c3e3ffd29260955.zip | |
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
Diffstat (limited to 'cfrontend/C2C.ml')
| -rw-r--r-- | cfrontend/C2C.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) |