From 790fe056247d89fe2542de36f1edfc9b2be395e7 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 1 Mar 2018 18:28:07 +0100
Subject: [PATCH] PrismCL: -exportsteadystates implies -steadystate

If we are asked to export the steady-state probs, it makes sense to
compute them without being asked separately.
---
 prism/src/prism/PrismCL.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index caba2aca..a5f55488 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -1463,6 +1463,8 @@ public class PrismCL implements PrismModelListener
 					} else {
 						errorAndExit("No file specified for -" + sw + " switch");
 					}
+					// if we are asked to export the steady-state probs, we should compute them
+					steadystate = true;
 				}
 				// export transient probs (as opposed to displaying on screen) 
 				else if (sw.equals("exporttransient") || sw.equals("exporttr")) {