From 5bf4f3ca22521d2efb1ce27dd31cca95a09a2735 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 10 Jul 2008 13:22:31 +0000
Subject: [PATCH] Prism help text typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@806 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 <prop> (or -csl <prop>) .. Model check the PCTL/CSL property <prop>");
 		mainLog.println("-property <n> (or -prop <n>) ... Only model check property <n> from the properties file");
 		mainLog.println("-const <vals> .................. Run an experiment using constant values <vals>");
-		mainLog.println("-steadystate (or -ss) .......... Compute steady-state probabilities (CTMCs only)");
-		mainLog.println("-transient <x> (or -tr <x>) .... Compute transient probabilities for time <x> (CTMCs only)");
+		mainLog.println("-steadystate (or -ss) .......... Compute steady-state probabilities (D/CTMCs only)");
+		mainLog.println("-transient <x> (or -tr <x>) .... Compute transient probabilities for time <x> (D/CTMCs only)");
 		mainLog.println();
 		mainLog.println("-importpepa .................... Model description is in PEPA, not the PRISM language");
 		mainLog.println("-importtrans <file> ............ Import the transition matrix directly from a text file");