(DECODE_ADD_UCS_CHAR): Don't use `INLINE_HEADER'.

diff --git a/src/text-coding.c b/src/text-coding.c
index 8015b7c..840258d 100644 (file)
--- a/src/text-coding.c
+++ b/src/text-coding.c
@@ -2197,8 +2197,8 @@ do {                                              \
     }                                          \
 } while (0)
 
-INLINE_HEADER void DECODE_ADD_UCS_CHAR(Emchar c, unsigned_char_dynarr* dst);
-INLINE_HEADER void
+/* INLINE_HEADER */ void DECODE_ADD_UCS_CHAR(Emchar c, unsigned_char_dynarr* dst);
+/* INLINE_HEADER */ void
 DECODE_ADD_UCS_CHAR(Emchar c, unsigned_char_dynarr* dst)
 {
   if ( c <= 0x7f )