diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-05-28 21:50:12 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-05-28 21:50:12 +1000 |
| commit | f09ce60d45d5524e36d07e76814b6e0cbc554288 (patch) | |
| tree | 3e7e786a6f0b20ddcd934969c93c09cc02625f70 /impl/EquationSystem.hpp | |
| parent | 72b70a4ff7dad8185eb2dd652bdd2983b829930a (diff) | |
Fix issues with some things ignoring strategies.
Diffstat (limited to 'impl/EquationSystem.hpp')
| -rw-r--r-- | impl/EquationSystem.hpp | 2 |
1 files changed, 1 insertions, 1 deletions
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; |