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 | ee6df0a47c7fbb6cef6679fec9e2abb19fa22c2d (patch) | |
| tree | 357221ebdc5d7943df15c57fc206e893865963d9 /lib/ur/top.urs | |
| parent | 5c750dcbde7818d043047c55e1248a68fac4214e (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