diff --git a/prism/src/explicit/FastAdaptiveUniformisation.java b/prism/src/explicit/FastAdaptiveUniformisation.java index 051f7518..ec92a42c 100644 --- a/prism/src/explicit/FastAdaptiveUniformisation.java +++ b/prism/src/explicit/FastAdaptiveUniformisation.java @@ -119,7 +119,6 @@ public class FastAdaptiveUniformisation extends PrismComponent alive = true; succRates = null; succStates = null; - totalProbLoss = 0.0; } /**