diff --git a/prism/src/prism/Explicit2MTBDD.java b/prism/src/prism/Explicit2MTBDD.java
index 1559a494..41b2bf5e 100644
--- a/prism/src/prism/Explicit2MTBDD.java
+++ b/prism/src/prism/Explicit2MTBDD.java
@@ -721,8 +721,8 @@ public class Explicit2MTBDD
 						c = Integer.parseInt(ss[1]);
 						d = Double.parseDouble(ss[2]);
 						if (ss.length == 4) {
-							foundReward = true;
-							x = Double.parseDouble(ss[3]);
+							//foundReward = true;
+							//x = Double.parseDouble(ss[3]);
 						}
 						//System.out.println("("+r+","+c+") = "+d);
 					}
@@ -734,8 +734,8 @@ public class Explicit2MTBDD
 						c = Integer.parseInt(ss[2]);
 						d = Double.parseDouble(ss[3]);
 						if (ss.length == 5) {
-							foundReward = true;
-							x = Double.parseDouble(ss[4]);
+							//foundReward = true;
+							//x = Double.parseDouble(ss[4]);
 						}
 						//System.out.println("("+r+","+k+","+c+") = "+d);
 					}