From f1d6d850cebc522cc66033949f6849afa7ad134f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 11 Jun 2015 15:13:51 +0000
Subject: [PATCH] Fix in prism-auto

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10000 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/scripts/prism-auto | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index a7382a1a..5d9d0357 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -168,7 +168,7 @@ def getMatchingArgListsForFile(file):
 
 def addExtraArgs(argLists):
     if options.extraArgs:
-        return map(lambda args: args + options.extraArgs.split(' '), argLists)
+        return argLists + options.extraArgs.split(' ')
     else:
         return argLists