From 0b35370d20905cb06bb281a78f4af5c6bbf0ce58 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 16 Nov 2015 15:11:25 +0000 Subject: [PATCH] Typo in multi-objective output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10888 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 3981904d..f504530f 100644 --- a/prism/src/prism/MultiObjModelChecker.java +++ b/prism/src/prism/MultiObjModelChecker.java @@ -859,7 +859,7 @@ public class MultiObjModelChecker extends PrismComponent } for (int i = 0; i < dimReward; i++) { - mainLog.println("Computing maximum values for reward objective " + (i + 1) + "/" + dimProb); + mainLog.println("Computing maximum values for reward objective " + (i + 1) + "/" + dimReward); if (verbose) { mainLog.println("Getting an upper bound on maximizing objective " + i); }