From f09ce60d45d5524e36d07e76814b6e0cbc554288 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Mon, 28 May 2012 21:50:12 +1000
Subject: Fix issues with some things ignoring strategies.

---
 impl/EquationSystem.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'impl/EquationSystem.hpp')

diff --git a/impl/EquationSystem.hpp b/impl/EquationSystem.hpp
index 772ac37..13319e0 100644
--- a/impl/EquationSystem.hpp
+++ b/impl/EquationSystem.hpp
@@ -119,7 +119,7 @@ struct EquationSystem {
 
   VariableAssignment<T> minFixpoint(const FixpointAlgorithm<T>& algo) const {
     VariableAssignment<T> rho = assignment();
-    VariableAssignment<T> lastRho = assignment();
+    VariableAssignment<T> lastRho(0);
     MaxStrategy<T> strat = strategy();
     do {
       lastRho = rho;
-- 
cgit v1.2.3