From 6348b2de9f443fcd74d0660f2b4f8308261d553a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 26 Dec 2011 21:29:17 +0000 Subject: [PATCH] Auto-format (for diff). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4274 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/NondetModelChecker.java | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/prism/src/prism/NondetModelChecker.java b/prism/src/prism/NondetModelChecker.java index 26d00135..6eaf739a 100644 --- a/prism/src/prism/NondetModelChecker.java +++ b/prism/src/prism/NondetModelChecker.java @@ -1203,12 +1203,10 @@ public class NondetModelChecker extends NonProbModelChecker // need to deal with zero loops yet if (min && zeroCostEndComponents != null && zeroCostEndComponents.size() > 0) { mainLog.printWarning("PRISM detected your model contains " + zeroCostEndComponents.size() + " zero-reward " - + ((zeroCostEndComponents.size() == 1) ? "loop." : "loops.\n") - + "Your minimum rewards may be too low..."); + + ((zeroCostEndComponents.size() == 1) ? "loop." : "loops.\n") + "Your minimum rewards may be too low..."); } } else if (min) { - mainLog.printWarning("PRISM hasn't checked for zero-reward loops.\n" - + "Your minimum rewards may be too low..."); + mainLog.printWarning("PRISM hasn't checked for zero-reward loops.\n" + "Your minimum rewards may be too low..."); } // print out yes/no/maybe