Bugfix: exception when checking R[I] properties with simulator.

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

prism/src/simulator/sampler/SamplerRewardInstCont.java

@@ -45,7 +45,7 @@ public class SamplerRewardInstCont extends SamplerDouble
 	{
 		// Make sure expression is of the correct type
 		// Then extract other required info
-		if (expr.getOperator() != ExpressionTemporal.R_C)
+		if (expr.getOperator() != ExpressionTemporal.R_I)
 			throw new PrismException("Error creating Sampler");
 		time = expr.getUpperBound().evaluateDouble();
 		this.rewardStructIndex = rewardStructIndex;

prism/src/simulator/sampler/SamplerRewardInstDisc.java

@@ -45,7 +45,7 @@ public class SamplerRewardInstDisc extends SamplerDouble
 	{
 		// Make sure expression is of the correct type
 		// Then extract other required info
-		if (expr.getOperator() != ExpressionTemporal.R_C)
+		if (expr.getOperator() != ExpressionTemporal.R_I)
 			throw new PrismException("Error creating Sampler");
 		time = expr.getUpperBound().evaluateInt();
 		this.rewardStructIndex = rewardStructIndex;