From 7940a7f27145cd2cfe9d9832d016f077557c2282 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 21 Aug 2012 21:59:23 +0000
Subject: [PATCH] Undo previous commit (not ready yet).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5587 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 94e4255d..5bdd245f 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -2628,7 +2628,8 @@ public class Prism implements PrismSettingsListener
 				DTMCModelChecker mcDTMC = new DTMCModelChecker();
 				mcDTMC.setLog(mainLog);
 				mcDTMC.setSettings(settings);
-				probsExpl = mcDTMC.doSteadyState((DTMC) currentModelExpl, fileIn);
+				probsExpl = mcDTMC.doSteadyState((DTMC) currentModelExpl, (File) null);
+				//TODO: probsExpl = mcDTMC.doSteadyState((DTMC) currentModelExpl, fileIn);
 			} else if (currentModelType == ModelType.CTMC) {
 				throw new PrismException("Not implemented yet");
 			} else {