[PPL-devel] [GIT] ppl/ppl(master): Forgotten changes.

[Abramo Bagnara]

Module: ppl/ppl
Branch: master
Commit: 925cacd7941b45922210b1c296f1af8285fc9fae
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=925cacd7941b45922210b1c296f1af8285fc9fae

Author: Abramo Bagnara <abramo.bagnara at gmail.com>
Date:   Thu Feb 23 13:37:50 2012 +0100

Forgotten changes.

---

 src/Concrete_Expression.cc |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Concrete_Expression.cc b/src/Concrete_Expression.cc
index 528c2a3..85c4529 100644
--- a/src/Concrete_Expression.cc
+++ b/src/Concrete_Expression.cc
@@ -29,7 +29,7 @@ namespace PPL = Parma_Polyhedra_Library;
 
 bool
 PPL::Concrete_Expression_Type::OK() const {
-  if (impl.bounded_integer != 0) {
+  if (impl.bounded_integer) {
     if (impl.bounded_integer_type_width != BITS_8
         && impl.bounded_integer_type_width != BITS_16
         && impl.bounded_integer_type_width != BITS_32
@@ -74,7 +74,7 @@ PPL::Concrete_Expression_Type::OK() const {
     }
   }
   else {
-    // Here we have impl.bounded_integer == 0.
+    // Here we have impl.bounded_integer == false.
     if (impl.floating_point_format != IEEE754_HALF
         && impl.floating_point_format != IEEE754_SINGLE
         && impl.floating_point_format != IEEE754_DOUBLE