SamplerRewardReach: minor cleanup in constructor

Remove unnecessary check on valueKnown in constructor, seems
to be a copy-paste artifact.


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11998 bbc10eb1-c90d-0410-af57-cb519fbb1720

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)