diff options
| author | Brian Campbell | 2018-05-29 15:44:30 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-06-08 15:03:37 +0100 |
| commit | a6f319a2f176fbde6020fc508bb0f319a0b225e5 (patch) | |
| tree | acc255d89121c6f6acd311f0aee02f33112ef7a6 /src | |
| parent | 0c02580108effb66c427906e990cf567bdd0ad75 (diff) | |
Coq: skip two tests with redundant pattern matches
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions