From d4d87c9ea3147ddf1634b4e389f874e0d3e11395 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 10 Aug 2016 15:52:56 +0000 Subject: [PATCH] ParamModelChecker: Use standard log handling ParamModelChecker already has a mainLog by being a PrismComponent, inheriting the log from the parent component. In particular, this allows redirection of the log output via the -mainlog parameter (as used by prism-auto). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11600 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/param/ParamModelChecker.java | 3 --- 1 file changed, 3 deletions(-) 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;