From 222827cc728c002ace41987ed8b84812a363ca4f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 21 Apr 2020 08:08:50 +0100
Subject: [PATCH] Update prism -help text.

---
 prism/src/prism/PrismCL.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index f40c5c428c..31ffd0b5a6 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2424,6 +2424,7 @@ private void printHelp()
 		mainLog.println();
 		mainLog.println("EXPORT OPTIONS:");
 		mainLog.println("-exportresults <file[:options]>  Export the results of model checking to a file");
+		mainLog.println("-exportvector <file>  .......... Export results of model checking for all states to a file");
 		mainLog.println("-exportmodel <files[:options]> . Export the built model to file(s)");
 		mainLog.println("-exporttrans <file> ............ Export the transition matrix to a file");
 		mainLog.println("-exportstaterewards <file> ..... Export the state rewards vector to a file");