From df7198f06e860f7ef812fdd16a9dc0625efab076 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 10 Jun 2015 12:15:41 +0000
Subject: [PATCH] Comment

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9980 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 8c8e79eb..fda3d6db 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -340,7 +340,7 @@ def benchmark(file, args, dir=""):
     logging.debug("Benchmarking: " + file + ", " + str(args))
     # Add extra arguments from command line, if applicable
     args = addExtraArgs(args)
-    # Expand output files to full paths
+    # Expand input/output files to full paths
     args = expandFilenames(args, dir)
 
     # Determine which out files apply to this benchmark from the -export switches (if required)