diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java index 5d674d4d..d6e0d0ab 100644 --- a/prism/src/prism/Prism.java +++ b/prism/src/prism/Prism.java @@ -1648,7 +1648,7 @@ public class Prism implements PrismSettingsListener PrismLog tmpLog; if (fileOut != null && getEngine() == MTBDD) - throw new PrismException("Transient probability export only supported for sparse/hybrid engines"); + throw new PrismException("Steady-state probability export only supported for sparse/hybrid engines"); // no specific states format for MRMC if (exportType == EXPORT_MRMC) exportType = EXPORT_PLAIN;