From b9791ec2a8c2f5e12f986539d727f95e8e8cb261 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 11 Dec 2006 21:45:33 +0000
Subject: [PATCH] =?UTF-8?q?Bugfix:=20incorrect=20output=20for=20Pmax=3D=3F?=
 =?UTF-8?q?[...{max}]=20properties.?=

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

diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java
index 769dc96c..f9c2e095 100644
--- a/prism/src/prism/NondetModelChecker.java
+++ b/prism/src/prism/NondetModelChecker.java
@@ -554,7 +554,7 @@ public class NondetModelChecker implements ModelChecker
 				// compute/print min info
 				if (pctl.filterMaxRequested()) {
 					maxRes = probs.maxOverBDD(filter);
-					mainLog.print("\nMaximum " + (min?"minimum":"maximum") + " probability for states satisfying " + pctl.getFilter() + ": " + minRes + "\n");
+					mainLog.print("\nMaximum " + (min?"minimum":"maximum") + " probability for states satisfying " + pctl.getFilter() + ": " + maxRes + "\n");
 					tmp = probs.getBDDFromInterval(maxRes-termCritParam, maxRes+termCritParam);
 					JDD.Ref(filter);
 					tmp = JDD.And(tmp, filter);