From 49b363f3d483a3d402a0f98b837ddaab213ba076 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 23 Aug 2016 13:15:58 +0000
Subject: [PATCH] Update usage message.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11688 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 bc3504e8..6795a287 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2254,7 +2254,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void printHelp()
 	{
-		mainLog.println("Usage: prism <model-file> [<properties-file>] [options]");
+		mainLog.println("Usage: " + Prism.getCommandLineName() + " [options] <model-file> [<properties-file>] [more-options]");
 		mainLog.println();
 		mainLog.println("Options:");
 		mainLog.println("========");