with inline, since it is checked by configure.
(copy_comment): Likewise.
+2000-03-17  Akim Demaille  <akim@epita.fr>
+
+       * reader.c (copy_string): Declared `static inline'.  No problems
+       with inline, since it is checked by configure.
+       (copy_comment): Likewise.
+
 2000-03-17  Akim Demaille  <akim@epita.fr>
 
        * reader.c (packsymbols): Formatting changes.
 
 /* Dump the string from FINPUT to FOUTPUT.  MATCH is the delimiter of
    the string (either ' or ").  */
 
-void
+static inline void
 copy_string (FILE *finput, FILE *foutput, int match)
 {
   int c;
 /* Dump the comment from FINPUT to FOUTPUT.  C is either `*' or `/',
    depending upon the type of comments used.  */
 
-void
+static inline void
 copy_comment (FILE *finput, FILE *foutput, int c)
 {
   int cplus_comment;