From 04d1c3efdc70c1a193ec7b733e2ce3e24e2bef11 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 22 Dec 2015 09:40:57 +0000
Subject: [PATCH] StateModelChecker: remove mainLog field here, now stored in
 parent class PrismComponent

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

diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 5dcefb3b..c34ad242 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -45,7 +45,6 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 {
 	// PRISM stuff
 	protected Prism prism;
-	protected PrismLog mainLog;
 	protected PrismLog techLog;
 
 	// Properties file
@@ -95,7 +94,6 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 
 		// Initialise
 		this.prism = prism;
-		mainLog = prism.getMainLog();
 		techLog = prism.getTechLog();
 		model = m;
 		propertiesFile = pf;
@@ -138,7 +136,6 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 
 		// Initialise
 		this.prism = prism;
-		mainLog = prism.getMainLog();
 		techLog = prism.getTechLog();
 		this.varList = varList;
 		this.varDDRowVars = varDDRowVars;