From d60fcad47945cd9a4add4a73117fe8d0e3828ddc Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 1 Jun 2012 21:46:24 +0000 Subject: [PATCH] Comment typo. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5313 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 b3a6a8af..6cd2a867 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -36,7 +36,7 @@ def lineIsCommentedOut(line): # Get a list of models in a directory, either from a "models" file if present, # or by searching for all files in the directory with an appropriate extension. # A "models" file is a list of (relative) path names, in which lines starting with # are ignored. -# If a model files "model.pm" has a matching file "model.pm.args", then the contents of this +# If a model file "model.pm" has a matching file "model.pm.args", then the contents of this # are also appended. Multiple lines in the .args file results in multiple copies of the model file. # Each item of the returned list is itself a list because the model specification may be in several parts, # e.g. ["model.pm", "-const", "N=2"], but the first item is always the name of the model file.