From 6f8b090ef01452494a050748f962b13d45b250aa Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 20 Aug 2015 21:22:43 +0000
Subject: [PATCH] Settings: remove debug output for -ltl2datool argument

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

diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 536c82ac..43e0a9ab 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -1281,7 +1281,6 @@ public class PrismSettings implements Observer
 			if (i < args.length - 1) {
 				String filename = args[++i];
 				set(PRISM_LTL2DA_TOOL, filename);
-				System.out.println(getString(PRISM_LTL2DA_TOOL));
 			} else {
 				throw new PrismException("The -" + sw + " switch requires one argument (path to the executable)");
 			}