diff options
| author | Tim King <taking@cs.nyu.edu> | 2012-09-29 20:42:16 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2012-09-29 20:42:16 +0000 |
| commit | c89b0605d5ff327f140f3b0be87796f086228640 (patch) | |
| tree | 9ef989608184632e689a72d8a0edf8c1928721f4 /RELEASE-NOTES | |
| parent | 4801f553640a7005eb26e89a1635f16669a13631 (diff) | |
Calling the setIncompleteness() flag on all full checks once a non-linear term has been seen.
Diffstat (limited to 'RELEASE-NOTES')
0 files changed, 0 insertions, 0 deletions