diff --git a/src/location.c b/src/location.c index 6876890c..ab478107 100644 --- a/src/location.c +++ b/src/location.c @@ -150,7 +150,7 @@ struct caret_info static struct caret_info caret_info = { NULL, 1, 0 }; void -cleanup_caret () +caret_free () { if (caret_info.source) fclose (caret_info.source); diff --git a/src/location.h b/src/location.h index 39e0507d..3b1fcab6 100644 --- a/src/location.h +++ b/src/location.h @@ -110,7 +110,7 @@ unsigned location_print (location loc, FILE *out); /* Free any allocated resources and close any open file handles that are left-over by the usage of location_caret. */ -void cleanup_caret (void); +void caret_free (void); /* Output to OUT the line and caret corresponding to location LOC. */ void location_caret (location loc, FILE *out); diff --git a/src/main.c b/src/main.c index 7704bef4..f0337b15 100644 --- a/src/main.c +++ b/src/main.c @@ -234,7 +234,7 @@ main (int argc, char *argv[]) timevar_stop (tv_total); timevar_print (stderr); - cleanup_caret (); + caret_free (); /* Fix input file now, even if there are errors: that's less warnings in the following runs. */