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; } }