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 /demo/tcSum.ur | |
parent | 5c750dcbde7818d043047c55e1248a68fac4214e (diff) |
Fix a maddening bug in the comparator for Core constructors
Diffstat (limited to 'demo/tcSum.ur')
0 files changed, 0 insertions, 0 deletions