From 3c17f39e18131ccc3c23a239170617b21df5c360 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 12:38:31 +0000 Subject: [PATCH] prism-auto: Remove debug output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9983 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 1 - 1 file changed, 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index bacb8f26..644a3bf4 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -223,7 +223,6 @@ def getExpectedOutFilesFromArgs(args): files = [] for file in optionsFiles: files = files + file.split(",") - print str(files) resultFiles = [] for file in files: