Browse Source

Help message typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7567 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 12 years ago
parent
commit
71bf4f1ed5
  1. 4
      prism/src/prism/PrismCL.java

4
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 in ascending ordered [default]");
mainLog.println(" * unordered - don't output states indices in ascending ordered [default]");
mainLog.println(" * ordered - output states indices in ascending order [default]");
mainLog.println(" * unordered - don't output states indices in ascending order");
}
// Try PrismSettings
else if (PrismSettings.printHelpSwitch(mainLog, sw)) {

Loading…
Cancel
Save