summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2019-02-14 08:38:33 +0100
committerAkim Demaille <akim.demaille@gmail.com>2019-02-14 18:53:01 +0100
commitdbdf2878ab8cb3d7157dcb7173b780921161d1cb (patch)
tree2c38ccbefa748a5eac10aa37acc073e745be90f2
parent8654fca058ef87ac94277c66ef22b28a297cd22d (diff)
downloadbison-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.c2
-rw-r--r--src/location.h2
-rw-r--r--src/main.c2
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. */