Module: ppl/ppl Branch: master Commit: 92cfd0aae5bc460d30b0cdf2e4ccc98acdd6d4a2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92cfd0aae5bc4... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Thu May 14 16:03:56 2009 +0200 Added missing clear. --- src/Interval.defs.hh | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index d0b71b1..bd52eb7 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -541,6 +541,7 @@ public: r = sub_2exp_assign_r(u, upper(), w, ROUND_UP); if (!result_overflow(r) && u > lower()) return assign(refinement); + info().clear(); switch (s) { case UNSIGNED: umod_2exp_assign(LOWER, lower(), info(),