Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-21 10:13:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

cex: clarify message

Browse Source 
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.
This commit is contained in:
Akim Demaille
2022-09-10 14:53:39 +02:00
parent 374cf8bbaf
commit 290d3d09d4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/counterexample.c
View File

@@ -1165,7 +1165,7 @@ unifying_example (state_item_number itm1,
&& stage3result) && stage3result)
{ {
fputs ("Productions leading up to the conflict state found. " fputs ("Productions leading up to the conflict state found. "
"Still finding a possible unifying counterexample...", "Still searching for a possible unifying counterexample...",
stderr); stderr);
assurance_printed = true; assurance_printed = true;
} }