diff place.h @ 178:0d5b9651b240

Merge Joerg's changes into upstream. (now that they've been thrashed out a bit, include CHANGES entries, etc.)
author David A. Holland
date Fri, 12 Jun 2015 03:05:49 -0400
parents a2f047301c15
children 4c3375895c6e
line wrap: on
line diff
--- a/place.h	Fri Jun 12 03:04:48 2015 -0400
+++ b/place.h	Fri Jun 12 03:05:49 2015 -0400
@@ -53,8 +53,11 @@
 void place_setcommandline(struct place *p, unsigned word, unsigned column);
 void place_setfilestart(struct place *p, const struct placefile *pf);
 
+const char *place_getname(const struct place *);
 const char *place_getparsedir(const struct place *incplace);
 
+void place_changefile(struct place *p, const char *name);
+
 const struct placefile *place_addfile(const struct place *incplace,
 				      const char *name, bool fromsystemdir);