From c0801edc74503f9ea15439ca40b39476a86659c9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 7 Aug 2013 21:15:46 +0000
Subject: [PATCH] Compile fix.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7249 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/QuantAbstractRefine.java | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/prism/src/explicit/QuantAbstractRefine.java b/prism/src/explicit/QuantAbstractRefine.java
index b9d26ad2..46ff4ef9 100644
--- a/prism/src/explicit/QuantAbstractRefine.java
+++ b/prism/src/explicit/QuantAbstractRefine.java
@@ -190,14 +190,6 @@ public abstract class QuantAbstractRefine extends PrismComponent
 
 	// Set methods for flags/settings, etc.
 
-	public void setLog(PrismLog log)
-	{
-		this.mainLog = log;
-		// Store this log in model checker options too
-		if (mcOptions != null)
-			mcOptions.setLog(log);
-	}
-
 	public void setModelType(ModelType modelType)
 	{
 		this.modelType = modelType;