Files
termux-packages/packages/prover9/mace4.src-select.c.patch
termux-pacman-bot 1c2275dbca 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 15:09:19 +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;