From 22dc2fe4f54cbbaa42776e2db75cb0ed544ed57f Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Wed, 19 Dec 2018 10:44:30 +0100
Subject: [PATCH] accumulation: better option parsing

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

diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java
index 5e5ad083..23a09514 100644
--- a/prism/src/prism/PrismSettings.java
+++ b/prism/src/prism/PrismSettings.java
@@ -1693,13 +1693,11 @@ public class PrismSettings implements Observer
 		
 		// ACCUMULATION
 		else if (sw.equals("accgeneratedots")) {
-			boolean b = Boolean.parseBoolean(args[++i]);
-			set(ACC_GENERATE_DOTS, b);
+			set(ACC_GENERATE_DOTS, true);
 		}
 		
 		else if (sw.equals("accforcecomplex")) {
-			boolean b = Boolean.parseBoolean(args[++i]);
-			set(ACC_FORCE_COMPLEX, b);
+			set(ACC_FORCE_COMPLEX, true);
 		}
 
 		// HIDDEN OPTIONS
@@ -1901,6 +1899,7 @@ 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]");
 	}