Tweak warning note in PrismCL.

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

prism/CHANGELOG.txt

@@ -16,7 +16,8 @@ Changes:
 Ongoing changes:
 
 * CSV format for results export (GUI, not CL yet)
-* Handling of verbosity/warnings in log
+* Handling of verbosity in log: PrismLog updated, not used yet
+* Handling of warnings in log
 * Properties can be named, by prefixing with "name":, and reference each other
 * CTL AG/EF
 

prism/src/prism/PrismCL.java

@@ -1052,12 +1052,18 @@ public class PrismCL
 	{
 		// clear up and close down
 		prism.closeDown(true);
-		mainLog.println();
-		if (mainLog.getNumberOfWarnings() > 0)
-		{
-			mainLog.println("Note that " + mainLog.getNumberOfWarnings()
-					+ " warning(s) were produced during computation");
+		// notify about any warnings
+		int numWarnings = mainLog.getNumberOfWarnings();
+		if (numWarnings > 0) {
+			mainLog.println("\n-------------------------------------------");
+			mainLog.print("\nNote: There ");
+			if (numWarnings == 1)
+				mainLog.print("was 1 warning");
+			else
+				mainLog.print("were " + numWarnings + " warnings");
+			mainLog.println(" during computation.");
 		}
+		mainLog.println();
 	}
 
 	/**