Remove "KB" from "CUDD max. memory" option description.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10503 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/PrismSettings.java

@@ -297,7 +297,7 @@ public class PrismSettings implements Observer
 																			"Number of MTBDD levels descended for hybrid engine data structures block division with GS/SOR." },
 			{ INTEGER_TYPE,		PRISM_SOR_MAX_MEM,						"Hybrid GS memory (KB)",				"2.1",			new Integer(1024),															"0,",																						
 																			"Maximum memory usage for hybrid engine data structures block division with GS/SOR (KB)." },
-			{ STRING_TYPE,		PRISM_CUDD_MAX_MEM,						"CUDD max. memory (KB)",				"4.2.1",			new String("1g"),														"",																						
+			{ STRING_TYPE,		PRISM_CUDD_MAX_MEM,						"CUDD max. memory",				"4.2.1",			new String("1g"),														"",																						
 																			"Maximum memory available to CUDD (underlying BDD/MTBDD library), e.g. 125k, 50m, 4g. Note: Restart PRISM after changing this." },
 			{ DOUBLE_TYPE,		PRISM_CUDD_EPSILON,						"CUDD epsilon",							"2.1",			new Double(1.0E-15),														"0.0,",																						
 																			"Epsilon value used by CUDD (underlying BDD/MTBDD library) for terminal cache comparisons." },