diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index c0d9fe96..37ad8205 100644 --- 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); }