From 7c875e19299ebbf80fec713ccefc3e663497decf Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jul 2015 17:40:59 +0000
Subject: [PATCH] Add "backwards" to -help.

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

diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 9a8270b7..5c268602 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -1563,7 +1563,7 @@ public class PrismSettings implements Observer
 		mainLog.println("-hybrid (or -h) ................ Use the Hybrid engine [default]");
 		mainLog.println("-explicit (or -ex) ............. Use the explicit engine");
 		mainLog.println("-exact ......................... Perform exact (arbitrary precision) model checking");
-		mainLog.println("-ptamethod <name> .............. Specify PTA engine (games, digital) [default: games]");
+		mainLog.println("-ptamethod <name> .............. Specify PTA engine (games, digital, backwards) [default: games]");
 		mainLog.println("-transientmethod <name> ........ CTMC transient analysis methof (unif, fau) [default: unif]");
 		mainLog.println();
 		mainLog.println("SOLUTION METHODS (LINEAR EQUATIONS):");