diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-08-02 10:18:11 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-08-02 10:20:23 +0200 |
| commit | 12d0b15679057bc6660ae2ebc09c41f5c4cd66eb (patch) | |
| tree | 263235f4929b7df6927013c861822a7f3722e342 /src/counterexample.c | |
| parent | cb7dcb011e529824160769425380169f1ef123ef (diff) | |
| download | bison-12d0b15679057bc6660ae2ebc09c41f5c4cd66eb.tar.gz | |
style: revert "avoid warnings with GCC 4.6"
This reverts commit d0bec3175ff5cf6582ffbf584b73ea6aaea838d0 (which
should have read "We have a clash...", not "With have a clash...").
Now that `max()` was renamed `max_int()`, we can use `max` again, as
elsewhere in the code.
* src/counterexample.c (visited_hasher): Alpha reconversion.
Diffstat (limited to 'src/counterexample.c')
| -rw-r--r-- | src/counterexample.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/counterexample.c b/src/counterexample.c index 7f207ca0..8a19aa51 100644 --- a/src/counterexample.c +++ b/src/counterexample.c @@ -712,10 +712,10 @@ ssb_equals (const search_state_bundle *s1, const search_state_bundle *s2) typedef gl_list_t ssb_list; static size_t -visited_hasher (const search_state *ss, size_t maximum) +visited_hasher (const search_state *ss, size_t max) { - return (parse_state_hasher (ss->states[0], maximum) - + parse_state_hasher (ss->states[1], maximum)) % maximum; + return (parse_state_hasher (ss->states[0], max) + + parse_state_hasher (ss->states[1], max)) % max; } static bool |