# HG changeset patch
# User Joerg Sonnenberger <joerg@bec.de>
# Date 1424992891 -3600
# Node ID 95fbb216e23f073c4148007501014646f27709ec
# Parent  ccfcf1da156bca1d86534a439ae7932c6a2ab403
Make place_getname public, so that __FILE__ can use it.

diff -r ccfcf1da156b -r 95fbb216e23f place.c
--- 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)
 {
diff -r ccfcf1da156b -r 95fbb216e23f place.h
--- 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);