diff options
| author | Maxime Dénès | 2016-11-03 18:20:36 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2016-11-03 18:20:36 +0100 |
| commit | dd558cc1a9b87d2b1dda5d1ff2baf9f02a32e519 (patch) | |
| tree | c506f9f4c12dc8a4ec9e4a9a671fc1bf9b3c5df2 /plugins/syntax/string_syntax.ml | |
| parent | 0c01a177362f8d7408ba8906fe0cba1948d8fb9c (diff) | |
Remove an OCaml 4.02 construct.
This was not detected by running coq-contribs, so it probably means that
we are not testing with the right version of OCaml.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions