From e0b65828bd63988f829a4e1593ce506b9f267351 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Wed, 19 Dec 2018 16:37:31 +0100
Subject: [PATCH] accumulation: better option desc

---
 prism/src/prism/PrismSettings.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 23a09514..508242cb 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -1899,8 +1899,8 @@ public class PrismSettings implements Observer
 		mainLog.println("-fauinitival <x> ............... Set length of additional initial time interval for FAU [default: 1.0]");
 		mainLog.println();
 		mainLog.println("ACCUMULATION MODEL CHECKING OPTIONS:");
-		mainLog.println("-accforcecomplex <b> ........... Force rewriting into complex until formulae for accumulation [default: false]");
-		mainLog.println("-accgeneratedots <b> ........... Generate DOT files for accumulation automata and products [default: false]");
+		mainLog.println("-accforcecomplex ............... Force rewriting into complex until formulae for accumulation");
+		mainLog.println("-accgeneratedots ............... Generate DOT files for accumulation automata and products");
 	}
 
 	/**