Files
termux-packages/packages/prover9/mace4.src-msearch.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
238 B
Diff

--- a/mace4.src/msearch.c
+++ b/mace4.src/msearch.c
@@ -847,7 +847,7 @@
*************/
static
-int next_domain_size(n)
+int next_domain_size(int n)
{
int top = (parm(Opt->end_size) == -1 ? INT_MAX : parm(Opt->end_size));