summaryrefslogtreecommitdiff
path: root/sci-mathematics/prover9/files/LADR-2009-11A-c99.patch
blob: a4da6e4fbbf6e9069d4e4af5ada72247aa0846a9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
Explicitly declare int values as ints.
https://bugs.gentoo.org/886597
https://bugs.gentoo.org/871261
--- 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));
       
--- 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;