[PPL-devel] [GIT] ppl/ppl(pip): No need to check for null pointers before deleting them .

30 Jan 2010

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

    