Module: ppl/ppl Branch: bounded_arithmetic Commit: 37f8d8b4162aa9c657b27f814b3565daec35f0c7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37f8d8b4162aa... Author: Abramo Bagnara <abramo.bagnara@gmail.com> Date: Wed May 13 23:33:01 2009 +0200 Added missing info clearing. --- src/Interval.defs.hh | 2 ++ 1 files changed, 2 insertions(+), 0 deletions(-) diff --git a/src/Interval.defs.hh b/src/Interval.defs.hh index d9b958d..b0bc3d2 100644 --- a/src/Interval.defs.hh +++ b/src/Interval.defs.hh @@ -279,6 +279,7 @@ public: } I_Result lower_extend() { + info().clear_boundary_properties(LOWER); set_unbounded(LOWER, lower(), info()); return I_ANY; } @@ -309,6 +310,7 @@ public: } I_Result upper_extend() { + info().clear_boundary_properties(UPPER); set_unbounded(UPPER, upper(), info()); return I_ANY; }