Module: ppl/ppl Branch: pip Commit: 60731ffcf53aac457ffefb82f312ee503d69f766 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=60731ffcf53aa...
Author: François Galea francois.galea@uvsq.fr Date: Fri Nov 13 18:19:01 2009 +0100
Fixed a bug.
---
src/PIP_Problem.cc | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-)
diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 84544d7..afb3984 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -236,10 +236,11 @@ PPL::PIP_Problem::OK() const { if (strategy < PIP_CUTTING_STRATEGY_FIRST || strategy > PIP_CUTTING_STRATEGY_DEEPEST) { #ifndef NDEBUG - cerr << "Invalid value for the PIP_CUTTING_STRATEGY control parameter." - << endl; - ascii_dump(cerr); + cerr << "Invalid value for the PIP_CUTTING_STRATEGY control parameter." + << endl; + ascii_dump(cerr); #endif + return false; }
if (!parameters.OK())