diff options
author | Tim King <taking@cs.nyu.edu> | 2012-06-14 21:24:44 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-06-14 21:24:44 +0000 |
commit | ae66405f6fc4af734d84b8eb2752d2706d056814 (patch) | |
tree | 33745f45e60288c87d4438fd77562bd2067c2dd6 /test/regress | |
parent | c43514fef548f977e88e2986c2f993b975830cc2 (diff) |
Fixing a case for explanation of non-normal form equalities.
Diffstat (limited to 'test/regress')
0 files changed, 0 insertions, 0 deletions