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

@@ -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));
 	}
 
 	/**