diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-04-24 15:21:44 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-06-28 10:07:02 +0200 |
| commit | 127b00c573ca5fef4245e77bac89e1093a7ec0d2 (patch) | |
| tree | 3d84a0f7a14eb3be461341a80727e50b6af880dd /x86 | |
| parent | 19aed83caebcae1103e0c4f6e200744492f17545 (diff) | |
| download | compcert-kvx-127b00c573ca5fef4245e77bac89e1093a7ec0d2.tar.gz compcert-kvx-127b00c573ca5fef4245e77bac89e1093a7ec0d2.zip | |
Use library function.
The function String.uppercase was deprecated and the replacement
function String.upercase_ascii was only available from OCaml 4.03.0.
Since the minimal OCaml version is now 4.05.0 we can use the function
String.upercase_ascii.
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions