diff options
| author | Hugo Herbelin | 2020-12-04 07:46:21 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-12-14 19:51:29 +0100 |
| commit | e3968a275532d40009f4ed0e7ea8abbe783e034f (patch) | |
| tree | 72cf1c06159315115633a57ff6bbadecf035fd5a /dev | |
| parent | 81d0936c1ac8a537b5d8083933bce607e55ff28f (diff) | |
Add checks for invalid occurrences in setoid rewrite.
We additionally check that occurrence 0 is invalid in simpl at,
unfold at, etc.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions