prism-auto: Remove debug output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9983 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 3c17f39e18
1 changed files with 0 additions and 1 deletions
--- 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: