diff --git a/prism/src/explicit/FastAdaptiveUniformisation.java b/prism/src/explicit/FastAdaptiveUniformisation.java index ec92a42c..4ae232ca 100644 --- a/prism/src/explicit/FastAdaptiveUniformisation.java +++ b/prism/src/explicit/FastAdaptiveUniformisation.java @@ -113,12 +113,12 @@ public class FastAdaptiveUniformisation extends PrismComponent { prob = 0.0; nextProb = 0.0; - prob = 0.0; + sum = 0.0; reward = 0.0; - references = 0; - alive = true; succRates = null; succStates = null; + references = 0; + alive = true; } /**