diff options
Diffstat (limited to 'lib/misc.h')
| -rw-r--r-- | lib/misc.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/misc.h b/lib/misc.h index 8f443f07e..8cb435647 100644 --- a/lib/misc.h +++ b/lib/misc.h @@ -30,7 +30,8 @@ void freeSplitString( /*@only@*/ char ** list); * @param c character to strip * @return string */ -/*@unused@*/ static inline char * stripTrailingChar(char * s, char c) +/*@unused@*/ static inline +/*@only@*/ char * stripTrailingChar(/*@only@*/ char * s, char c) /*@modifies *s */ { char * t; |