From e0e2824191e57bcf91c7b0318cc6dad28b7a9087 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 11 Nov 2013 15:37:45 +0000 Subject: [PATCH] Help message typo. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7566 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismCL.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index afad593c..96f30e79 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -2204,8 +2204,8 @@ public class PrismCL implements PrismModelListener mainLog.println(" * mrmc - export data in MRMC format"); mainLog.println(" * matlab - export data in Matlab format"); mainLog.println(" * rows - export matrices with one row/distribution on each line"); - mainLog.println(" * ordered - output states indices inb ascending ordered [default]"); - mainLog.println(" * unordered - don't output states indices inb ascending ordered [default]"); + mainLog.println(" * ordered - output states indices in ascending ordered [default]"); + mainLog.println(" * unordered - don't output states indices in ascending ordered [default]"); } // Try PrismSettings else if (PrismSettings.printHelpSwitch(mainLog, sw)) {