From ce4e12af87ba6f8215a912d0e60b9839d7af30c8 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Thu, 19 Sep 2024 21:59:09 +0100
Subject: [PATCH] Tweak a counterexample message

---
 .../src/main/java/quickcheck/plugin/QuickCheckThread.java       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java b/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java
index 7eaede3e6..b05aeed0c 100644
--- a/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java
+++ b/quickcheck/src/main/java/quickcheck/plugin/QuickCheckThread.java
@@ -196,7 +196,7 @@ private JSONObject getQCResponse(ProofObligation po, List<VDMMessage> messages)
 			StringBuilder sb = new StringBuilder();
 			sb.append("PO #");
 			sb.append(po.number);
-			sb.append(" counterexample: ");
+			sb.append(" Counterexample: ");
 			sb.append(po.counterexample.toStringLine());
 			messages.add(new VDMWarning(9000, sb.toString(), po.location));
 		}