[PPL-devel] [GIT] ppl/ppl(compliance): Missing brace added.

12 Jun 2014

Module: ppl/ppl
Branch: compliance
Commit: a483b63739b1dd78bda63892043873e0205c2ab3
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a483b63739b1d...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Thu Jun 12 13:49:18 2014 +0200
Missing brace added.
---
src/Bit_Matrix.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Bit_Matrix.cc b/src/Bit_Matrix.cc
index 6da3540..c1107ef 100755
--- a/src/Bit_Matrix.cc
+++ b/src/Bit_Matrix.cc
@@ -263,7 +263,7 @@ bool
 PPL::Bit_Matrix::check_sorted() const {
   const Bit_Matrix& x = *this;
   for (dimension_type i = num_rows(); i-- > 1; ) {
-    if (compare(x[i-1], x[i]) > 0)
+    if (compare(x[i-1], x[i]) > 0) {
       return false;
     }
   }

    