diff options
-rw-r--r-- | MultiSource/Benchmarks/MallocBench/espresso/compl.c | 18 | ||||
-rw-r--r-- | MultiSource/Benchmarks/MallocBench/espresso/mincov.c | 6 | ||||
-rw-r--r-- | MultiSource/Benchmarks/MallocBench/espresso/opo.c | 2 |
3 files changed, 13 insertions, 13 deletions
diff --git a/MultiSource/Benchmarks/MallocBench/espresso/compl.c b/MultiSource/Benchmarks/MallocBench/espresso/compl.c index 31a68abd..d0db0199 100644 --- a/MultiSource/Benchmarks/MallocBench/espresso/compl.c +++ b/MultiSource/Benchmarks/MallocBench/espresso/compl.c @@ -22,15 +22,15 @@ #define USE_COMPL_LIFT_ONSET_COMPLEX 2 #define NO_LIFTING 3 -bool compl_special_cases(); -pcover compl_merge(); -void compl_d1merge(); -pcover compl_cube(); -void compl_lift(); -void compl_lift_onset(); -void compl_lift_onset_complex(); -bool simp_comp_special_cases(); -bool simplify_special_cases(); +static bool compl_special_cases(); +static pcover compl_merge(); +static void compl_d1merge(); +static pcover compl_cube(); +static void compl_lift(); +static void compl_lift_onset(); +static void compl_lift_onset_complex(); +static bool simp_comp_special_cases(); +static bool simplify_special_cases(); /* complement -- compute the complement of T */ diff --git a/MultiSource/Benchmarks/MallocBench/espresso/mincov.c b/MultiSource/Benchmarks/MallocBench/espresso/mincov.c index e55ff18c..9431c6f0 100644 --- a/MultiSource/Benchmarks/MallocBench/espresso/mincov.c +++ b/MultiSource/Benchmarks/MallocBench/espresso/mincov.c @@ -7,9 +7,9 @@ #define USE_GIMPEL #define USE_INDEP_SET -extern int select_column(); -extern void select_essential(); -extern int verify_cover(); +static int select_column(); +static void select_essential(); +static int verify_cover(); #define fail(why) {\ (void) fprintf(stderr, "Fatal error: file %s, line %d\n%s\n",\ diff --git a/MultiSource/Benchmarks/MallocBench/espresso/opo.c b/MultiSource/Benchmarks/MallocBench/espresso/opo.c index de5a0c69..1951cb9b 100644 --- a/MultiSource/Benchmarks/MallocBench/espresso/opo.c +++ b/MultiSource/Benchmarks/MallocBench/espresso/opo.c @@ -50,7 +50,7 @@ static int opo_no_make_sparse; static int opo_repeated; static int opo_exact; -void minimize(); +static void minimize(); void phase_assignment(PLA, opo_strategy) pPLA PLA; |