Compile fix.

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

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;