accumulation: better option parsing

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]");
 	}