Bug fix in call to DTMC transient.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@725 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · 606a09365f
1 changed files with 1 additions and 1 deletions
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@ -695,7 +695,7 @@ public class PrismCL
 		int i;
 		
 		// compute transient probabilities
-		if (model instanceof StochModel || model instanceof ProbModel) {
+		if (model instanceof StochModel) {
 			try {
 				d = Double.parseDouble(transientTime);
 			}