0
0
mirror of https://github.com/termux/termux-packages.git synced 2025-02-07 20:10:04 +00:00
termux-packages/packages/prover9/mace4.src-select.c.patch
Biswapriyo Nath 27d5b169ea fix(main/prover9): Fix implicit int compiler error
This fixes compiler errors as following.

msearch.c:850:22: error: parameter 'n' was not declared, defaults to 'int';
ISO C99 and later do not support implicit int [-Wimplicit-int]
int next_domain_size(n)
                     ^
2024-07-29 14:17:26 +00:00

12 lines
270 B
Diff

--- a/mace4.src/select.c
+++ b/mace4.src/select.c
@@ -233,7 +233,7 @@
*
*************/
-int select_concentric_band(min_id, max_id, max_constrained)
+int select_concentric_band(int min_id, int max_id, int max_constrained)
{
int max = -1;
int id_of_max = -1;