Temporary compile fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5612 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/Prism.java

@@ -2628,7 +2628,7 @@ public class Prism implements PrismSettingsListener
 				DTMCModelChecker mcDTMC = new DTMCModelChecker();
 				mcDTMC.setLog(mainLog);
 				mcDTMC.setSettings(settings);
-				probsExpl = mcDTMC.doSteadyState((DTMC) currentModelExpl, (File) null);
+				probsExpl = mcDTMC.doSteadyState((DTMC) currentModelExpl, (double[]) null);
 				//TODO: probsExpl = mcDTMC.doSteadyState((DTMC) currentModelExpl, fileIn);
 			} else if (currentModelType == ModelType.CTMC) {
 				throw new PrismException("Not implemented yet");