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

@@ -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;