
Module: ppl/ppl Branch: master Commit: 432d03e6ab06dcad0455c9504a2661ab1ada431a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432d03e6ab06d...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Mar 31 20:30:09 2009 +0200
Indentation fixed.
---
src/BD_Shape.templates.hh | 14 +++++++------- 1 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/src/BD_Shape.templates.hh b/src/BD_Shape.templates.hh index 82e81c6..166f2d6 100644 --- a/src/BD_Shape.templates.hh +++ b/src/BD_Shape.templates.hh @@ -5643,15 +5643,15 @@ BD_Shape<T>::OK() const { // MINUS_INFINITY cannot occur at all. for (dimension_type i = dbm.num_rows(); i-- > 0; ) for (dimension_type j = dbm.num_rows(); j-- > 0; ) - if (is_minus_infinity(dbm[i][j])) { + if (is_minus_infinity(dbm[i][j])) { #ifndef NDEBUG - using namespace Parma_Polyhedra_Library::IO_Operators; - std::cerr << "BD_Shape::dbm[" << i << "][" << j << "] = " - << dbm[i][j] << "!" - << std::endl; + using namespace Parma_Polyhedra_Library::IO_Operators; + std::cerr << "BD_Shape::dbm[" << i << "][" << j << "] = " + << dbm[i][j] << "!" + << std::endl; #endif - return false; - } + return false; + }
// On the main diagonal only PLUS_INFINITY can occur. for (dimension_type i = dbm.num_rows(); i-- > 0; )