diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 0af8e74b..b8d2134c 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1534,6 +1534,7 @@ public class PrismCL mainLog.println("-simconf ................... Set the confidence parameter for the simulator"); mainLog.println("-simsamples ................ Set the number of samples for the simulator"); mainLog.println("-simpathlen ................ Set the maximum path length for the simulator"); + mainLog.println("-simpath ....... Generate a random path with the simulator"); } // print version