diff options
| author | Pierre Letouzey | 2016-06-03 11:11:26 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-07 16:16:46 +0200 |
| commit | 1826cf003fe564d751e8376cad69be6b59714596 (patch) | |
| tree | 6c69e8a972399f4a3b9a695ed13c7202e4fe4f9f /dev/include | |
| parent | e9c57a3b6035278b0d4112da8c350a9cdd356259 (diff) | |
coq_makefile: List.iteri is now standard since OCaml 4.00
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions