From fca843737f4882c1b13021f74a609fcea24d19a4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 27 Aug 2015 14:17:10 +0000
Subject: [PATCH] Frivolity reduction ;)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10598 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 99f54477..8b9e569e 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -997,7 +997,7 @@ public class PrismCL implements PrismModelListener
 								@Override
 								public void run()
 								{
-									mainLog.println("\nError: Timeout (after "+timeout+" seconds)!");
+									mainLog.println("\nError: Timeout (after " + timeout + " seconds).");
 									mainLog.flush();
 									System.exit(1);
 								}