diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-07-03 17:25:56 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-07-03 17:25:56 -0400 |
| commit | fabac72992d397942fd5712d49733424ccb9de56 (patch) | |
| tree | 357221ebdc5d7943df15c57fc206e893865963d9 /lib/ur/top.urs | |
| parent | 085eb5df98b7a95356a712c4eaaefc568cdfe296 (diff) | |
Fix a maddening bug in the comparator for Core constructors
Diffstat (limited to 'lib/ur/top.urs')
0 files changed, 0 insertions, 0 deletions