From 4e5f05a203aad1cedf33dc01a8278fb583ca5ca7 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 6 Jan 2014 20:36:48 +0000 Subject: [PATCH] Remove debug output. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7809 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 efc01f06..00e2dc5f 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -172,7 +172,6 @@ def getArgsListsFromFile(file): def createLogFileName(args, dir=""): logFile = '.'.join(args) - print logFile if len(dir) > 0: logFile = re.sub(dir+'/', '', logFile) logFile = re.sub('/', '_', logFile)