diff --git a/ChangeLog b/ChangeLog
index 66a4bfcd..31b533a2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+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.
diff --git a/src/reader.c b/src/reader.c
index 11f4add1..5e585e1b 100644
--- a/src/reader.c
+++ b/src/reader.c
@@ -992,7 +992,7 @@ get_type_name (int n, symbol_list *rule)
 /* 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;
@@ -1034,7 +1034,7 @@ copy_string (FILE *finput, FILE *foutput, int match)
 /* 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;