diff options
| author | Brian Campbell | 2018-08-13 16:50:38 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-13 16:50:38 +0100 |
| commit | 616b770c1fef06b9b5322d0dfde729594abd279a (patch) | |
| tree | b546059152158b7438c1c171448945e49c7b18ce /lib/exception_basic.sail | |
| parent | 1f3253c106e40cbfe6ecd79b281b45abf708663b (diff) | |
Coq: drop redundant final wildcard clauses
Deals with pattern matches generated from mappings, plus the occasional
error.
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions