[GIT] ppl/ppl(sparse_matrices): PIP_Problem: fix border-case in solve() method.

22 Mar 2010

Module: ppl/ppl
Branch: sparse_matrices
Commit: ae3a65ca5a53cf39b74b95b5450e7c52c5ccc5d4
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ae3a65ca5a53c...
Author: Marco Poletti poletti.marco@gmail.com
Date:   Mon Mar 22 14:31:34 2010 +0100
PIP_Problem: fix border-case in solve() method.
---
src/PIP_Problem.cc |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc
index 5bb4ed4..c24e57c 100644
--- a/src/PIP_Problem.cc
+++ b/src/PIP_Problem.cc
@@ -183,8 +183,10 @@ PPL::PIP_Problem::solve() const {
                   ++i;
                   break;
                 }
-              } else
+              } else {
                 continue_looping = false;
+                break;
+              }
             }
           if (continue_looping) {
             for ( ; pi != param_end; ++pi, ++i) {

    

Marco Poletti

tags (0)

participants (1)