[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Minor changes.

[Alberto Gioia]

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

Author: Alberto Gioia <alberto.gioia1 at studenti.unipr.it>
Date:   Tue Sep  6 18:59:21 2011 +0200

Minor changes.

---

 src/linearize_integer.hh                   |    4 ++--
 tests/Concrete_Expression/linearize_int.cc |    8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/linearize_integer.hh b/src/linearize_integer.hh
index 2cf8646..53990dc 100644
--- a/src/linearize_integer.hh
+++ b/src/linearize_integer.hh
@@ -1885,7 +1885,7 @@ linearize_int
   typedef std::map<dimension_type, Linear_Form> Linear_Form_Abstract_Store;
 
   PPL_ASSERT(expr.type().is_bounded_integer());
-  switch(expr.kind()){
+  switch(expr.kind()) {
   case Int_Constant<Target>::KIND: {
     const Int_Constant<Target>* intc_expr =
       expr.template as<Int_Constant>();
@@ -1896,7 +1896,7 @@ linearize_int
     return true;
   }
 
-  case Binary_Operator<Target>::KIND:{
+  case Binary_Operator<Target>::KIND: {
     const Binary_Operator<Target>* bop_expr =
       expr.template as<Binary_Operator>();
     switch (bop_expr->binary_operator()) {
diff --git a/tests/Concrete_Expression/linearize_int.cc b/tests/Concrete_Expression/linearize_int.cc
index 2b0c1ad..c3e52f7 100644
--- a/tests/Concrete_Expression/linearize_int.cc
+++ b/tests/Concrete_Expression/linearize_int.cc
@@ -1200,7 +1200,7 @@ test09(){
   if (!linearize_int(lshift, oracle, Integer_Linear_Form_Abstract_Store(),
 		     result_lshift)) {
     nout << "*** Linearization failed, intervalize second linear form "
-	 << "contain infinity *** " << endl << endl;
+	 << "is not bounded *** " << endl << endl;
     failed_lshift = true;
   }
 
@@ -1208,7 +1208,7 @@ test09(){
   if (!linearize_int(rshift, oracle, Integer_Linear_Form_Abstract_Store(),
 		     result_rshift))  {
     nout << "*** Linearization failed, intervalize second linear form "
-	 << "contain infinity *** " << endl << endl;
+	 << "is not bounded *** " << endl << endl;
     failed_rshift = true;
   }
 
@@ -1353,7 +1353,7 @@ test10(){
   if (!linearize_int(lshift, oracle, Integer_Linear_Form_Abstract_Store(),
 		     result_lshift)) {
     nout << "*** Linearization failed, intervalize second linear form "
-	 << "contain infinity *** " << endl << endl;
+	 << "is not bounded *** " << endl << endl;
     failed_lshift = true;
   }
 
@@ -1361,7 +1361,7 @@ test10(){
   if (!linearize_int(rshift, oracle, Integer_Linear_Form_Abstract_Store(),
 		     result_rshift)) {
     nout << "*** Linearization failed, intervalize second linear form "
-	 << "contain infinity *** " << endl << endl;
+	 << "is not bounded *** " << endl << endl;
     failed_rshift = true;
   }