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 /test/regression/funct2.c | |
parent | 19aed83caebcae1103e0c4f6e200744492f17545 (diff) | |
download | compcert-127b00c573ca5fef4245e77bac89e1093a7ec0d2.tar.gz compcert-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 'test/regression/funct2.c')
0 files changed, 0 insertions, 0 deletions