Module: ppl/ppl Branch: master Commit: 359a800b113d5b09b165e87b43b37ad5636cde57 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=359a800b113d5...
Author: Roberto Bagnara bagnara@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