changeset 157:95fbb216e23f

Make place_getname public, so that __FILE__ can use it.
author Joerg Sonnenberger <joerg@bec.de>
date Fri, 27 Feb 2015 00:21:31 +0100
parents ccfcf1da156b
children 19278e2f885d
files place.c place.h
diffstat 2 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/place.c	Tue Sep 17 14:59:42 2013 -0400
+++ b/place.c	Fri Feb 27 00:21:31 2015 +0100
@@ -154,7 +154,6 @@
 	p->column = 1;
 }
 
-static
 const char *
 place_getname(const struct place *p)
 {
--- a/place.h	Tue Sep 17 14:59:42 2013 -0400
+++ b/place.h	Fri Feb 27 00:21:31 2015 +0100
@@ -44,6 +44,7 @@
 
 void place_init(void);
 void place_cleanup(void);
+const char *place_getname(const struct place *);
 
 void place_setnowhere(struct place *p);
 void place_setbuiltin(struct place *p, unsigned num);