[PPL-devel] [GIT] ppl/ppl(sparse_matrices): PIP_Tree.cc: fix indentation.

[Marco Poletti]

Module: ppl/ppl
Branch: sparse_matrices
Commit: 3489f0659fd755bc5887479f3b70d4765d10b031
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3489f0659fd755bc5887479f3b70d4765d10b031

Author: Marco Poletti <poletti.marco at gmail.com>
Date:   Thu Mar 11 12:06:08 2010 +0100

PIP_Tree.cc: fix indentation.

---

 src/PIP_Tree.cc |    9 +++++----
 1 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index 3ca256f..edb0cea 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -546,10 +546,11 @@ row_normalize(PIP_Tree_Node::matrix_row_reference_type x, Coefficient& den) {
   exact_div_assign(den, den, gcd);
 }
 
-bool compatibility_check_find_pivot(const PIP_Tree_Node::matrix_type& s,
-                                    const std::vector<dimension_type>& mapping,
-                                    const std::vector<bool>& basis,
-                                    dimension_type& pi, dimension_type& pj) {
+bool
+compatibility_check_find_pivot(const PIP_Tree_Node::matrix_type& s,
+                               const std::vector<dimension_type>& mapping,
+                               const std::vector<bool>& basis,
+                               dimension_type& pi, dimension_type& pj) {
   // Look for a negative RHS (i.e., constant term, stored in column 0),
   // maximizing pivot column.
   const dimension_type num_rows = s.num_rows();