Merge branch 'master' into highprecision

nickbattle · Sep 19, 2024 · 9739f02 · 9739f02
2 parents 0f64612 + ce4e12a
commit 9739f02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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));
 		}