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)
                     ^

packages/prover9/build.sh

@@ -3,6 +3,7 @@ TERMUX_PKG_DESCRIPTION="An automated theorem prover for first-order and equation
 TERMUX_PKG_LICENSE="GPL-2.0"
 TERMUX_PKG_MAINTAINER="@termux"
 TERMUX_PKG_VERSION=2009-11A
+TERMUX_PKG_REVISION=1
 TERMUX_PKG_SRCURL=https://www.cs.unm.edu/~mccune/mace4/download/LADR-${TERMUX_PKG_VERSION}.tar.gz
 TERMUX_PKG_SHA256=c32bed5807000c0b7161c276e50d9ca0af0cb248df2c1affb2f6fc02471b51d0
 TERMUX_PKG_BUILD_IN_SRC=true

packages/prover9/mace4.src-msearch.c.patch

@@ -0,0 +1,11 @@
+--- 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));
+

packages/prover9/mace4.src-select.c.patch

@@ -0,0 +1,11 @@
+--- 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;