diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index 34ce6892..f40c5c42 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -2417,7 +2417,7 @@ public class PrismCL implements PrismModelListener mainLog.println("-importstates ............ Import the list of states directly from a text file"); mainLog.println("-importlabels ............ Import the list of labels directly from a text file"); mainLog.println("-importstaterewards ...... Import the state rewards directly from a text file"); - mainLog.println("-importinitdist .......... Specify the initial probability distribution for transient analysis"); + mainLog.println("-importinitdist .......... Specify initial probability distribution for transient/steady-state analysis"); mainLog.println("-dtmc .......................... Force imported/built model to be a DTMC"); mainLog.println("-ctmc .......................... Force imported/built model to be a CTMC"); mainLog.println("-mdp ........................... Force imported/built model to be an MDP");