From dbdf2878ab8cb3d7157dcb7173b780921161d1cb Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Thu, 14 Feb 2019 08:38:33 +0100 Subject: [PATCH] style: rename cleanup_caret as caret_free * src/location.c, src/location.h, src/main.c: here. --- src/location.c | 2 +- src/location.h | 2 +- src/main.c | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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. */