From 639c71636b302bc769ae9223ac0dc82570216c6e Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 21 Jul 2017 23:16:52 +0000
Subject: [PATCH] Document -ng switch.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12152 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 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 4f455250..caba2aca 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2307,6 +2307,7 @@ public class PrismCL implements PrismModelListener
 		mainLog.println("-testall ....................... Enable \"test\" mode, but don't exit on error");
 		mainLog.println("-javamaxmem .................... Set the maximum heap size for Java, e.g. 500m, 4g [default: 1g]");
 		mainLog.println("-timeout <n> ................... Exit after a time-out of <n> seconds if not already terminated");
+		mainLog.println("-ng ............................ Run PRISM in Nailgun server mode; subsequent calls are then made via \"ngprism\"");
 		mainLog.println();
 		mainLog.println("IMPORT OPTIONS:");
 		mainLog.println("-importpepa .................... Model description is in PEPA, not the PRISM language");