diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index c293729e..29080bf7 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -836,7 +836,7 @@ public class PrismCL sw = args[i].substring(1); // print help - if (sw.equals("help") || sw.equals("?")) { + if (sw.equals("help") || sw.equals("-help") || sw.equals("?")) { printHelp(); exit(); }