diff --git a/prism/src/param/ParamModelChecker.java b/prism/src/param/ParamModelChecker.java
index c1b57abc..e8a93fa5 100644
--- a/prism/src/param/ParamModelChecker.java
+++ b/prism/src/param/ParamModelChecker.java
@@ -101,9 +101,6 @@ import explicit.Model;
  */
 final public class ParamModelChecker extends PrismComponent
 {
-	// Log for output (default to System.out)
-	private PrismLog mainLog = new PrismPrintStreamLog(System.out);
-
 	// Model file (for reward structures, etc.)
 	private ModulesFile modulesFile = null;