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-msearch.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
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));