diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index c7ebd128..80a4b8b9 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1474,8 +1474,8 @@ public class PrismCL mainLog.println("-pctl (or -csl ) .. Model check the PCTL/CSL property "); mainLog.println("-property (or -prop ) ... Only model check property from the properties file"); mainLog.println("-const .................. Run an experiment using constant values "); - mainLog.println("-steadystate (or -ss) .......... Compute steady-state probabilities (CTMCs only)"); - mainLog.println("-transient (or -tr ) .... Compute transient probabilities for time (CTMCs only)"); + 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(); mainLog.println("-importpepa .................... Model description is in PEPA, not the PRISM language"); mainLog.println("-importtrans ............ Import the transition matrix directly from a text file");