diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index e125a659..3ba24c0e 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1633,7 +1633,7 @@ public class PrismCL implements PrismModelListener mainLog.println("-property (or -prop ) ... Only model check property "); mainLog.println("-const .................. Define constant values as (e.g. for experiments)"); mainLog.println("-steadystate (or -ss) .......... Compute steady-state probabilities (D/CTMCs only)"); - mainLog.println("-transient (or -tr ) .... Compute transient probabilities for time (D/CTMCs only)"); + mainLog.println("-transient (or -tr ) .... Compute transient probabilities for time (or time range) (D/CTMCs only)"); mainLog.println("-simpath ....... Generate a random path with the simulator"); mainLog.println("-nobuild ....................... Skip model construction (just do parse/export)"); mainLog.println("-test .......................... Enable \"test\" mode");