From 12d0b15679057bc6660ae2ebc09c41f5c4cd66eb Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Sun, 2 Aug 2020 10:18:11 +0200 Subject: [PATCH] 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. --- src/counterexample.c | 6 +++--- 1 file 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 -- 2.11.4.GIT