From 98f5cce919decab44041e53640fa642e7cacc041 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 25 Jul 2010 18:50:59 +0000
Subject: [PATCH] Comment out reference to PTAExpected code.

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

diff --git a/prism/src/pta/PTAModelChecker.java b/prism/src/pta/PTAModelChecker.java
index adc98fd3..3d340f45 100644
--- a/prism/src/pta/PTAModelChecker.java
+++ b/prism/src/pta/PTAModelChecker.java
@@ -346,11 +346,12 @@ public class PTAModelChecker
 		}
 
 		// Do model checking...
-		PTAExpected ptaExp;
+		/*PTAExpected ptaExp;
 		ptaExp = new PTAExpected(prism);
-		reward = ptaExp.check(pta, targetLocs, min);
-
-		return new Result(new Double(reward));
+		reward = ptaExp.check(pta, targetLocs, min);*/
+		throw new PrismException("Reward properties not yet supported for PTAs");
+		
+		//return new Result(new Double(reward));
 	}
 
 	/**