From 99b66c8220fa708f66c0a13316f44a1e5c6ac7e4 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 11 May 2018 13:58:40 +0200
Subject: [PATCH] explicit -steadystate: take initial distribution into account

Previously, the distribution specified via -importinitdist was ignored (for -explicit -ss).
---
 prism/src/prism/Prism.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 95688770..5267a590 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3404,8 +3404,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		explicit.StateValues probs;
 		if (model.getModelType() == ModelType.DTMC) {
 			mcDTMC = new DTMCModelChecker(this);
-			//TODO: probs = mcDTMC.doSteadyState((DTMC) model, fileIn);
-			probs = mcDTMC.doSteadyState((DTMC) model, (File) null);
+			probs = mcDTMC.doSteadyState((DTMC) model, fileIn);
 		} else if (model.getModelType() == ModelType.CTMC) {
 			throw new PrismException("Not implemented yet");
 		} else {