Output typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7242 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/ProbModelChecker.java

@@ -600,7 +600,7 @@ public class ProbModelChecker extends StateModelChecker
 
 		// Print out probabilities
 		if (getVerbosity() > 5) {
-			mainLog.print("\nProbabilities (non-zero only) for all states:\n");
+			mainLog.print("\nRewards (non-zero only) for all states:\n");
 			rews.print(mainLog);
 		}