commit | 290d3d09d440a7fc699e9553b0357ec900726809 | [log] [tgz] |
---|---|---|
author | Akim Demaille <akim.demaille@gmail.com> | Sat Sep 10 14:53:39 2022 +0200 |
committer | Akim Demaille <akim.demaille@gmail.com> | Sat Sep 10 14:53:39 2022 +0200 |
tree | 1716c004618e07604d076314a3b0b07ce67b47ab | |
parent | 374cf8bbafea10914b15df8110fb527383095d2f [diff] |
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.