[PPL-devel] [GIT] ppl/ppl(master): In method Bit_Matrix::OK(), do also check the first Bit_Row.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 3592af215e8a58aac07e7e76a28c66246f2abc6a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3592af215e8a58aac07e7e76a28c66246f2abc6a

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Oct 10 16:34:30 2010 +0200

In method Bit_Matrix::OK(), do also check the first Bit_Row.

---

 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 54a5024..7a7a8d0 100644
--- a/src/Bit_Matrix.cc
+++ b/src/Bit_Matrix.cc
@@ -200,7 +200,7 @@ PPL::Bit_Matrix::OK() const {
 #endif
 
   const Bit_Matrix& x = *this;
-  for (dimension_type i = num_rows(); i-- > 1; ) {
+  for (dimension_type i = num_rows(); i-- > 0; ) {
     const Bit_Row& row = x[i];
     if (!row.OK())
       return false;