From e377b42ed0706c6f1c7e993bd3969f78edfbeceb Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 11 Nov 2013 16:24:39 +0000
Subject: [PATCH] Help message typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7570 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index c15db4ed..b21db68b 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2184,7 +2184,7 @@ public class PrismCL implements PrismModelListener
 		}
 		// -exportresults
 		else if (sw.equals("exportresults")) {
-			mainLog.println("Switch: -exportresults <file[,options]>\n");
+			mainLog.println("Switch: -exportresults <file[:options]>\n");
 			mainLog.println("Exports the results of model checking to <file> (or to the screen if <file>=\"stdout\").");
 			mainLog.println("The default behaviour is to export a list of results in text form, using tabs to separate items.");
 			mainLog.println("If provided, <options> is a comma-separated list of options taken from:");