diff --git a/prism/src/simulator/sampler/SamplerRewardReach.java b/prism/src/simulator/sampler/SamplerRewardReach.java index 5eec550a..2cd04a63 100644 --- a/prism/src/simulator/sampler/SamplerRewardReach.java +++ b/prism/src/simulator/sampler/SamplerRewardReach.java @@ -43,10 +43,6 @@ public class SamplerRewardReach extends SamplerDouble */ public SamplerRewardReach(ExpressionTemporal expr, int rewardStructIndex) throws PrismException { - // If the answer is already known we should do nothing - if (valueKnown) - return; - // Make sure expression is of the correct type // Then extract other required info if (expr.getOperator() != ExpressionTemporal.P_F)