From b17411249b17133f35833c202e6c2e4bf43b3298 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 5 Sep 2024 10:04:34 +0200 Subject: More renaming --- src/solvers/h48/map.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/solvers/h48/map.h') diff --git a/src/solvers/h48/map.h b/src/solvers/h48/map.h index 34416fc..baffe39 100644 --- a/src/solvers/h48/map.h +++ b/src/solvers/h48/map.h @@ -67,7 +67,7 @@ h48map_insertmin(h48map_t *map, uint64_t key, uint64_t val) i = h48map_lookup(map, key); oldval = map->table[i] >> MAP_KEYSHIFT; - min = _min(val, oldval); + min = MIN(val, oldval); map->n += map->table[i] == MAP_UNSET; map->table[i] = (key & MAP_KEYMASK) | (min << MAP_KEYSHIFT); -- cgit v1.3