diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-02-07 23:28:36 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-02-07 23:28:36 +0100 |
| commit | 3550120641c3b8d84290dc950e717aaf099775f9 (patch) | |
| tree | 18381a0e6638a988acacce3cd51836d1641fb280 /COMPATIBILITY | |
| parent | df14dac0e6e9d9819dcc3b1601e150af7c142597 (diff) | |
Revert "Extraction: avoid deprecated functions of module String"
This reverts commit 69c4e7cfa0271f024b2178082e4be2e3ca3be263.
String.capitalize_ascii are only available for ocaml >= 4.03, sorry...
Diffstat (limited to 'COMPATIBILITY')
0 files changed, 0 insertions, 0 deletions