From 2efbd2c6a33ce83ca2bfbbd0847c4fc8e4b22dc2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 21 Jul 2017 23:17:35 +0000 Subject: [PATCH] Tidy -help output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12153 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 ff560413..7b231d55 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -1747,7 +1747,7 @@ public class PrismSettings implements Observer mainLog.println("-ltl2datool ............. Run executable to convert LTL formulas to deterministic automata"); mainLog.println("-ltl2dasyntax .............. Specify output format for -ltl2datool switch (lbt, spin, spot, rabinizer)"); mainLog.println("-exportiterations .............. Export vectors for iteration algorithms to file"); - mainLog.println("-pmaxquotient .................. For Pmax computations in MDPs, compute in the MEC quotient."); + mainLog.println("-pmaxquotient .................. For Pmax computations in MDPs, compute in the MEC quotient"); mainLog.println(); mainLog.println("MULTI-OBJECTIVE MODEL CHECKING:");