diff options
author | 2016-01-21 18:45:36 +0100 | |
---|---|---|
committer | 2016-01-21 23:56:01 +0100 | |
commit | 176d8e004153e65688dc8ef4f22f7939fd6101b1 (patch) | |
tree | 1a5343064619e3442c4cc0cb8da4e103167dc743 /test-suite/bugs/closed/4412.v | |
parent | be0eca32fae93ed4793c2f839bb9e725b6a963d1 (diff) |
New step on recent 9c2662eecc398f3 (strong invariants on tuple pattern).
- Fixing dead code, doc.
- Relaxing constraints on using an as-tuple in inversion.
Diffstat (limited to 'test-suite/bugs/closed/4412.v')
0 files changed, 0 insertions, 0 deletions