1 files changed, 1 insertions, 0 deletions

diff --git a/src/doc.c b/src/doc.c
index 78b005b852b..dc52e713da4 100644
--- a/src/doc.c
+++ b/src/doc.c
@@ -82,6 +82,7 @@ static unsigned char *read_bytecode_pointer;
 
 int
 read_bytecode_char (unreadflag)
+     int unreadflag;
 {
   if (unreadflag)
     {