diff options
author | Tim King <taking@cs.nyu.edu> | 2012-12-01 02:09:02 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-12-01 02:09:02 +0000 |
commit | b66fc3eac2717e8a887f1d4603c15cbcb7460e98 (patch) | |
tree | 83e5bfcf946d7043abdb36a809a7f17013043c4a /src/theory/rewriterules | |
parent | 5d4ee83cd9b245810c35b0aa17bb51b5a456c24b (diff) |
Fix for a CLN related bug on 32 bit systems. Integer((1<<29)+1) and Integer((long int)((1<<29)+1)) gave different values. This was confirmed on vm-int1.cims.nyu.edu. See http://www.ginac.de/CLN/cln_3.html#SEC15 for more details. rational_white and integer_white have tests covering this.
Diffstat (limited to 'src/theory/rewriterules')
0 files changed, 0 insertions, 0 deletions