diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-02-14 08:38:33 +0100 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-02-14 18:53:01 +0100 |
commit | dbdf2878ab8cb3d7157dcb7173b780921161d1cb (patch) | |
tree | 2c38ccbefa748a5eac10aa37acc073e745be90f2 | |
parent | 8654fca058ef87ac94277c66ef22b28a297cd22d (diff) | |
download | bison-dbdf2878ab8cb3d7157dcb7173b780921161d1cb.tar.gz |
style: rename cleanup_caret as caret_free
* src/location.c, src/location.h, src/main.c: here.
-rw-r--r-- | src/location.c | 2 | ||||
-rw-r--r-- | src/location.h | 2 | ||||
-rw-r--r-- | 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); @@ -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. */ |