From aabc8f2f49c04888052df01b1f444eab2d4cd36c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 17 Mar 2010 10:07:48 +0000
Subject: [PATCH] Import explicit ignores (but doesn't object to) actions in
 tra files.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1808 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Explicit2MTBDD.java | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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);
 					}