[PPL-devel] [GIT] ppl/ppl(master): Indentation fixed.
Roberto Bagnara
bagnara at cs.unipr.it
Tue Mar 31 20:49:56 CEST 2009
Module: ppl/ppl
Branch: master
Commit: 432d03e6ab06dcad0455c9504a2661ab1ada431a
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432d03e6ab06dcad0455c9504a2661ab1ada431a
Author: Roberto Bagnara <bagnara at 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; )
More information about the PPL-devel
mailing list