diff --git a/prism/src/explicit/rewards/STPGRewardsSimple.java b/prism/src/explicit/rewards/STPGRewardsSimple.java index 224b3ee6..008f00ca 100644 --- a/prism/src/explicit/rewards/STPGRewardsSimple.java +++ b/prism/src/explicit/rewards/STPGRewardsSimple.java @@ -164,7 +164,7 @@ public class STPGRewardsSimple extends MDPRewardsSimple implements STPGRewards { List> list1; List list2; - if (nestedTransRewards1 == null || (list1 = nestedTransRewards2.get(s)) == null) + if (nestedTransRewards2 == null || (list1 = nestedTransRewards2.get(s)) == null) return 0.0; if (list1.size() <= i || (list2 = list1.get(i)) == null) return 0.0;