[PPL-devel] [GIT] ppl/ppl(pip): Fixed a bug in standalone solver when using PIPlib files with a big parameter .

[François Galea]

Module: ppl/ppl
Branch: pip
Commit: 1feefaab34eb0c23699771197564175a7dc8e575
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1feefaab34eb0c23699771197564175a7dc8e575

Author: François Galea <francois.galea at uvsq.fr>
Date:   Mon Nov 16 17:39:14 2009 +0100

Fixed a bug in standalone solver when using PIPlib files with a big parameter.

---

 demos/ppl_pips/ppl_pips.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc
index d4e352f..b7a0b98 100644
--- a/demos/ppl_pips/ppl_pips.cc
+++ b/demos/ppl_pips/ppl_pips.cc
@@ -342,7 +342,7 @@ public:
 
     in >> num_vars >> num_params >> num_constraints >> num_ctx_rows >> tmp
        >> solve_integer;
-    bignum_column = (tmp == -1) ? PPL::not_a_dimension() : tmp;
+    bignum_column = (tmp == -1) ? PPL::not_a_dimension() : (tmp-1);
     if (solve_integer != 1) {
       std::cerr << "Can only solve integer problems." << std::endl;
       return false;