diff options
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; |