diff options
Diffstat (limited to 'MultiSource/Benchmarks/MallocBench/espresso/mincov.c')
-rw-r--r-- | MultiSource/Benchmarks/MallocBench/espresso/mincov.c | 6 |
1 files changed, 3 insertions, 3 deletions
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",\ |