(DECODE_ADD_UCS_CHAR): Don't use `INLINE_HEADER'.
authortomo <tomo>
Fri, 17 Feb 2012 16:40:32 +0000 (16:40 +0000)
committertomo <tomo>
Fri, 17 Feb 2012 16:40:32 +0000 (16:40 +0000)
src/text-coding.c

index 8015b7c..840258d 100644 (file)
@@ -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 )