Browse Source

typo in option help

master
Joachim Klein 8 years ago
parent
commit
cef4f92e1b
  1. 2
      prism/src/prism/PrismCL.java

2
prism/src/prism/PrismCL.java

@ -2416,7 +2416,7 @@ public class PrismCL implements PrismModelListener
mainLog.println("If provided, <options> is a comma-separated list of options taken from:"); mainLog.println("If provided, <options> is a comma-separated list of options taken from:");
mainLog.println(" * csv - Export results as comma-separated values"); mainLog.println(" * csv - Export results as comma-separated values");
mainLog.println(" * matrix - Export results as one or more 2D matrices (e.g. for surface plots)"); mainLog.println(" * matrix - Export results as one or more 2D matrices (e.g. for surface plots)");
mainLog.println(" * comment - Export results in comment format for regerssion testing)");
mainLog.println(" * comment - Export results in comment format for regression testing)");
} }
// -exportmodel // -exportmodel
else if (sw.equals("exportmodel")) { else if (sw.equals("exportmodel")) {

Loading…
Cancel
Save