From 4defb1a107c56378519f8bb89e342831f473a530 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Dec 2014 01:01:59 +0000
Subject: [PATCH] Compile fix for last commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9422 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ProbModelChecker.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index ccfeb71e..d28519e1 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -583,9 +583,9 @@ public class ProbModelChecker extends NonProbModelChecker
 		l = System.currentTimeMillis() - l;
 		mainLog.println("Time for Rabin translation: " + l / 1000.0 + " seconds.");
 		// If required, export DRA 
-		if (prism.getExportPropAut()) {
-			mainLog.println("Exporting DRA to file \"" + prism.getExportPropAutFilename() + "\"...");
-			PrismLog out = new PrismFileLog(prism.getExportPropAutFilename());
+		if (prism.getSettings().getExportPropAut()) {
+			mainLog.println("Exporting DRA to file \"" + prism.getSettings().getExportPropAutFilename() + "\"...");
+			PrismLog out = new PrismFileLog(prism.getSettings().getExportPropAutFilename());
 			out.println(dra);
 			out.close();
 			//dra.printDot(new java.io.PrintStream("dra.dot"));