Typo in model checking message.

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

prism/src/explicit/StateModelChecker.java

@@ -924,7 +924,7 @@ public class StateModelChecker extends PrismComponent
 		if (bsMatch != null) {
 			states = StateValues.createFromBitSet(bsMatch, model);
 			mainLog.print("\nThere are " + bsMatch.cardinality() + " states with ");
-			mainLog.print(expr.getType() instanceof TypeDouble ? "(approximately) " : "" + "this value");
+			mainLog.print((expr.getType() instanceof TypeDouble ? "(approximately) " : "") + "this value");
 			boolean verbose = verbosity > 0; // TODO
 			if (!verbose && bsMatch.cardinality() > 10) {
 				mainLog.print(".\nThe first 10 states are displayed below. To view them all, enable verbose mode or use a print filter.\n");

prism/src/prism/StateModelChecker.java

@@ -1344,7 +1344,7 @@ public class StateModelChecker implements ModelChecker
 		if (ddMatch != null) {
 			states = new StateListMTBDD(ddMatch, model);
 			mainLog.print("\nThere are " + states.sizeString() + " states with ");
-			mainLog.print(expr.getType() instanceof TypeDouble ? "(approximately) " : "" + "this value");
+			mainLog.print((expr.getType() instanceof TypeDouble ? "(approximately) " : "") + "this value");
 			if (!verbose && (states.size() == -1 || states.size() > 10)) {
 				mainLog.print(".\nThe first 10 states are displayed below. To view them all, enable verbose mode or use a print filter.\n");
 				states.print(mainLog, 10);