From 290d3d09d440a7fc699e9553b0357ec900726809 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim.demaille@gmail.com>
Date: Sat, 10 Sep 2022 14:53:39 +0200
Subject: [PATCH] cex: clarify message

Reported by Frank Heckenbach.
https://lists.gnu.org/r/bug-bison/2022-07/msg00007.html

src/counterexample.c (unifying_example): Prefer "searching for" to
"finding", which is somewhat confusing.
---
 src/counterexample.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/counterexample.c b/src/counterexample.c
index 6ce72c9a..71436fd6 100644
--- a/src/counterexample.c
+++ b/src/counterexample.c
@@ -1165,7 +1165,7 @@ unifying_example (state_item_number itm1,
                   && stage3result)
                 {
                   fputs ("Productions leading up to the conflict state found.  "
-                         "Still finding a possible unifying counterexample...",
+                         "Still searching for a possible unifying counterexample...",
                          stderr);
                   assurance_printed = true;
                 }