From fbdf5161da73e70d49c7807ff8b775d943dbdd54 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 17 Oct 2019 22:59:41 +0100 Subject: [PATCH] Small correction in -help message. --- prism/src/prism/PrismCL.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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");