From b35a8d15532621458a1ef8089aa9d97f817a106d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 16 Nov 2015 15:26:57 +0000 Subject: [PATCH] Typo in output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10889 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/MultiObjModelChecker.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/MultiObjModelChecker.java b/prism/src/prism/MultiObjModelChecker.java index f504530f..c4d58597 100644 --- a/prism/src/prism/MultiObjModelChecker.java +++ b/prism/src/prism/MultiObjModelChecker.java @@ -757,7 +757,7 @@ public class MultiObjModelChecker extends PrismComponent // Determine whether we are using Gauss-Seidel value iteration boolean useGS = (settings.getChoice(PrismSettings.PRISM_MDP_SOLN_METHOD) == Prism.MDP_MULTI_GAUSSSEIDEL); if (opsAndBounds.numberOfStepBounded() > 0) { - mainLog.println("Not using Guass-Seidel since there are step-bounded objectives"); + mainLog.println("Not using Gauss-Seidel since there are step-bounded objectives"); useGS = false; } @@ -1007,7 +1007,7 @@ public class MultiObjModelChecker extends PrismComponent // Determine whether we are using Gauss-Seidel value iteration boolean useGS = (settings.getChoice(PrismSettings.PRISM_MDP_SOLN_METHOD) == Prism.MDP_MULTI_GAUSSSEIDEL); if (opsAndBounds.numberOfStepBounded() > 0) { - mainLog.println("Not using Guass-Seidel since there are step-bounded objectives"); + mainLog.println("Not using Gauss-Seidel since there are step-bounded objectives"); useGS = false; }