From 8c50fe44daeb2b30ee3c5a5b087a9ee38d38cdf3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 14 Jan 2015 12:08:05 +0000 Subject: [PATCH] Error message typo git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9523 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/MultiObjModelChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java index 983b7902..fc0d6171 100644 --- a/prism/src/prism/MultiObjModelChecker.java +++ b/prism/src/prism/MultiObjModelChecker.java @@ -696,7 +696,7 @@ public class MultiObjModelChecker extends PrismComponent int numberOfMaximizing = opsAndBounds.numberOfNumerical(); if (numberOfMaximizing > 2) - throw new PrismException("Number of maximizing objectives must be at most 3"); + throw new PrismException("Number of maximizing objectives must be at most 2"); if (numberOfMaximizing >= 2 && opsAndBounds.probSize() + opsAndBounds.rewardSize() > numberOfMaximizing) throw new PrismException("Number of maximizing objectives can be 2 or 3 only if there are no other (i.e. bounded) objectives present");