diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-11-25 00:49:25 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-11-25 00:49:25 +0000 |
| commit | 493129f815d0e45ee72ffb782632d98fc25fe2f1 (patch) | |
| tree | 38000a036fe89b5f50bf907586608298863b6b35 /test/regress/regress0/auflia | |
| parent | e0cf8fd2f61a34b65a0baf3585fd2bfdd0165b2b (diff) | |
This commit fixes two incompleteness bugs (461, 459) introduced in r4611 dues to a problem of not correctly handling disequalities. Performance implications are uncertain.
Diffstat (limited to 'test/regress/regress0/auflia')
0 files changed, 0 insertions, 0 deletions