From 5cdc743d491a04ee0446bd757cedb4c7b6bc585f Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Mon, 9 Jul 2012 17:09:49 +1000
Subject: Cleaning up a bit of code around the place.

 - Especially making logging a bit nicer.
---
 impl/FixpointAlgorithm.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'impl/FixpointAlgorithm.hpp')

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);
-- 
cgit v1.2.3