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); }