diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2022-09-10 14:53:39 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2022-09-10 14:53:39 +0200 |
commit | 290d3d09d440a7fc699e9553b0357ec900726809 (patch) | |
tree | 1716c004618e07604d076314a3b0b07ce67b47ab | |
parent | 374cf8bbafea10914b15df8110fb527383095d2f (diff) | |
download | bison-290d3d09d440a7fc699e9553b0357ec900726809.tar.gz |
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.
-rw-r--r-- | src/counterexample.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |