diff options
| author | Brian Campbell | 2018-11-02 14:20:06 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-11-02 14:26:42 +0000 |
| commit | d0f80cd274d16b049896628e6046062eac95258f (patch) | |
| tree | 7b966a7e35dee2c82532ec7d408583d386c949f6 /.gitignore | |
| parent | c54f60b713087e33758c63dc110fe02d3fea29c9 (diff) | |
Coq: add more autocasts for different but equal kids
(only affects Reduce on Aarch64)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions