[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Added missing info clearing.

[Abramo Bagnara]

Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 37f8d8b4162aa9c657b27f814b3565daec35f0c7
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37f8d8b4162aa9c657b27f814b3565daec35f0c7

Author: Abramo Bagnara <abramo.bagnara at 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;
   }