diff options
| author | Jon French | 2018-05-15 17:46:10 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-15 17:46:10 +0100 |
| commit | 11ac94c4b270bf8bc1c0d1aa1a852f36f0790b9b (patch) | |
| tree | 12a9b053762bb72c6b54d71ee497ec7bdc6fd6fe /test/coq | |
| parent | 5be6481a1681225d72ca26f509506489fdc4e374 (diff) | |
rewrite_defs_guarded_pats: guards deserve rewriting too
Diffstat (limited to 'test/coq')
0 files changed, 0 insertions, 0 deletions