Cleaning up a bit of code around the place.

 - Especially making logging a bit nicer.

1 files changed, 2 insertions, 2 deletions

diff --git a/impl/FixpointAlgorithm.hpp b/impl/FixpointAlgorithm.hpp
index 8511c43..bb08e72 100644
--- a/impl/FixpointAlgorithm.hpp
+++ b/impl/FixpointAlgorithm.hpp
@@ -33,11 +33,11 @@ struct NaiveFixpointAlgorithm : public FixpointAlgorithm<Domain> {
     VariableAssignment<Domain>* rho = NULL;
     VariableAssignment<Domain>* result = system.assignment(infinity<Domain>());
     do {
-      if (rho) delete rho;
+      delete rho;
       rho = result;
       result = _system.eval(*rho, strat);
     } while (!_system.equalAssignments(*rho, *result));
-    if (rho) delete rho;
+    delete rho;
 
     for (unsigned int i = 0, length = system.variableCount(); i < length; ++i) {
       Variable<Domain> var = system.variable(i);