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

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Jan 30 18:57:29 2010 +0100

No need to check for null pointers before deleting them.

---

src/PIP_Problem.cc | 3 +-- 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index a4b0b2d..9f23bb2 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -70,8 +70,7 @@ PPL::PIP_Problem::PIP_Problem(const PIP_Problem &y) }

PPL::PIP_Problem::~PIP_Problem() { - if (current_solution != 0) - delete current_solution; + delete current_solution; }

void