diff options
author | 2016-11-03 18:20:36 +0100 | |
---|---|---|
committer | 2016-11-03 18:20:36 +0100 | |
commit | dd558cc1a9b87d2b1dda5d1ff2baf9f02a32e519 (patch) | |
tree | c506f9f4c12dc8a4ec9e4a9a671fc1bf9b3c5df2 /theories/Compat | |
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 'theories/Compat')
0 files changed, 0 insertions, 0 deletions