From 6238c3fe78b2dde4f07486bde0b004a5af8e660d Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Fri, 5 Aug 2011 22:08:03 +0000
Subject: [PATCH] typo in variable name

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3395 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/rewards/STPGRewardsSimple.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<List<Double>> list1;
 		List<Double> 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;