From c9ede762cd94276ab93a911f58a768b7dcd9cf59 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 26 Jul 2017 09:49:58 +0000 Subject: [PATCH] Tweak in options text. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12168 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismSettings.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index bdc1b9be..5da69c04 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -249,7 +249,7 @@ public class PrismSettings implements Observer "Use topological value iteration in iterative numerical methods."}, { BOOLEAN_TYPE, PRISM_PMAX_QUOTIENT, "For Pmax computations, compute in the MEC quotient", "4.3.1", false, "", "For Pmax computations, compute in the MEC quotient."}, - { BOOLEAN_TYPE, PRISM_INTERVAL_ITER, "Use interval iterations", "4.3.1", false, "", + { BOOLEAN_TYPE, PRISM_INTERVAL_ITER, "Use interval iteration", "4.3.1", false, "", "Use interval iteration (from above and below) in iterative numerical methods."}, { STRING_TYPE, PRISM_INTERVAL_ITER_OPTIONS, "Interval iteration options", "4.3.1", "", "", "Interval iteration options, a comma-separated list of the following:\n" + OptionsIntervalIteration.getOptionsDescription() },