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