diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index d25919a9..3036d11e 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1779,7 +1779,7 @@ public class PrismCL mainLog.println("-importtrans ............ Import the transition matrix directly from a text file"); 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("-importinitdist .......... Specify the initial probability distribution for transient analysis"); + mainLog.println("-importinitdist .......... Specify the initial probability distribution for transient 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");