diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-11-05 11:33:59 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-11-05 11:33:59 -0400 |
commit | 16901075111d5bb14fa583b50dc64579008962aa (patch) | |
tree | e43b5aa8730132eb49cb35a2ca2cc919379c0d5d /tests/sigbug.urs | |
parent | fe997cad0b4ba41c1fcd2f6ba9bb2402afecf72e (diff) |
Strengthen consNeq, to avoid unwise unifications
Diffstat (limited to 'tests/sigbug.urs')
0 files changed, 0 insertions, 0 deletions