From c864acbc11d8cc41ee038307295ae644d59d81d5 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Mon, 11 Sep 2023 12:59:57 +0100
Subject: [PATCH] Exists failure is a MAYBE

---
 .../src/main/java/quickcheck/QuickCheck.java     | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java b/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java
index c1192e20b..4a5a16811 100644
--- a/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java
+++ b/examples/quickcheck/src/main/java/quickcheck/QuickCheck.java
@@ -459,10 +459,18 @@ else if (result instanceof BooleanValue)
 					}
 					else
 					{
-						printf("PO #%d, FAILED %s: ", po.number, duration(before, after));
-						printFailPath(bindings);
-						println("----");
-						println(po);
+						if (po.getCheckedExpression() instanceof TCExistsExpression)
+						{
+							printf("PO #%d, MAYBE %s\n", po.number, duration(before, after));
+						}
+						else
+						{
+							printf("PO #%d, FAILED %s: ", po.number, duration(before, after));
+							printFailPath(bindings);
+							println("----");
+							println(po);
+						}
+
 					}
 				}
 				else