From 7047d1a2fb75d2cb1f00ffabe166b08f50885c89 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 7 Aug 2013 16:06:52 +0000
Subject: [PATCH] Output typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7242 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/ProbModelChecker.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/ProbModelChecker.java b/prism/src/explicit/ProbModelChecker.java
index 7107a665..f7ee6c4a 100644
--- a/prism/src/explicit/ProbModelChecker.java
+++ b/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);
 		}