diff options
| author | Gaëtan Gilbert | 2020-01-08 16:39:59 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-01-27 13:33:51 +0100 |
| commit | 41b844befc7e7a720510358389e7e84e239404db (patch) | |
| tree | 8f5c285bc3b07f7c75c8b078e959a1e0aa6acb44 /dev/include_dune | |
| parent | 506b35913103c17e4d27663aa0f977452d5815b0 (diff) | |
Fix fold order in CArray.fold_right(2)_map
These functions are unused in Coq itself but this may break some plugins.
Close #10987
Diffstat (limited to 'dev/include_dune')
0 files changed, 0 insertions, 0 deletions