[PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Aug 16 14:28:20 2012 +0200

Indentation fixed.
Detected by ECLAIR service indntion.

---

 src/DB_Row.defs.hh                                |    4 ++--
 src/Division_Floating_Point_Expression.defs.hh    |    1 -
 src/Division_Floating_Point_Expression.inlines.hh |    2 +-
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/DB_Row.defs.hh b/src/DB_Row.defs.hh
index d5002a3..50f46d3 100644
--- a/src/DB_Row.defs.hh
+++ b/src/DB_Row.defs.hh
@@ -448,9 +448,9 @@ private:
   //! The vector of coefficients.
   T vec_[
 #if PPL_CXX_SUPPORTS_ZERO_LENGTH_ARRAYS
-         0
+          0
 #else
-         1
+          1
 #endif
   ];
 
diff --git a/src/Division_Floating_Point_Expression.defs.hh b/src/Division_Floating_Point_Expression.defs.hh
index 623b9e6..d41f0d8 100644
--- a/src/Division_Floating_Point_Expression.defs.hh
+++ b/src/Division_Floating_Point_Expression.defs.hh
@@ -227,7 +227,6 @@ private:
   operator=(const Division_Floating_Point_Expression<FP_Interval_Type,
 	    FP_Format>& e);
 
-
 }; // class Division_Floating_Point_Expression
 
 } // namespace Parma_Polyhedra_Library
diff --git a/src/Division_Floating_Point_Expression.inlines.hh b/src/Division_Floating_Point_Expression.inlines.hh
index 7f6de8d..25b24be 100644
--- a/src/Division_Floating_Point_Expression.inlines.hh
+++ b/src/Division_Floating_Point_Expression.inlines.hh
@@ -37,7 +37,7 @@ Division_Floating_Point_Expression<FP_Interval_Type, FP_Format>
   : first_operand(num), second_operand(den) {
   assert(num != 0);
   assert(den != 0);
- }
+}
 
 template <typename FP_Interval_Type, typename FP_Format>
 inline