Output typos.

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

prism/src/explicit/DTMCModelChecker.java

@@ -431,7 +431,7 @@ public class DTMCModelChecker extends ModelChecker
 
 		// Finished bounded probabilistic reachability
 		timer = System.currentTimeMillis() - timer;
-		mainLog.print("Probabilistic bounded reachability");
+		mainLog.print("Bounded probabilistic reachability");
 		mainLog.println(" took " + iters + " iters and " + timer / 1000.0 + " seconds.");
 
 		// Return results

prism/src/explicit/MDPModelChecker.java

@@ -477,7 +477,7 @@ public class MDPModelChecker extends ModelChecker
 
 		// Finished bounded probabilistic reachability
 		timer = System.currentTimeMillis() - timer;
-		mainLog.print("Probabilistic bounded reachability (" + (min ? "min" : "max") + ")");
+		mainLog.print("Bounded probabilistic reachability (" + (min ? "min" : "max") + ")");
 		mainLog.println(" took " + iters + " iters and " + timer / 1000.0 + " seconds.");
 
 		// Return results

prism/src/explicit/STPGModelChecker.java

@@ -495,7 +495,7 @@ public class STPGModelChecker extends ModelChecker
 
 		// Finished bounded probabilistic reachability
 		timer = System.currentTimeMillis() - timer;
-		mainLog.print("Probabilistic bounded reachability (" + (min1 ? "min" : "max") + (min2 ? "min" : "max") + ")");
+		mainLog.print("Bounded probabilistic reachability (" + (min1 ? "min" : "max") + (min2 ? "min" : "max") + ")");
 		mainLog.println(" took " + iters + " iters and " + timer / 1000.0 + " seconds.");
 
 		// Return results