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 /src/urweb.lex | |
| parent | fe997cad0b4ba41c1fcd2f6ba9bb2402afecf72e (diff) | |
Strengthen consNeq, to avoid unwise unifications
Diffstat (limited to 'src/urweb.lex')
0 files changed, 0 insertions, 0 deletions