diff --git a/packages/gdbint/gen-gdblib-inc.sh b/packages/gdbint/gen-gdblib-inc.sh
index 6d533a1053..1e814a012c 100755
--- a/packages/gdbint/gen-gdblib-inc.sh
+++ b/packages/gdbint/gen-gdblib-inc.sh
@@ -188,7 +188,7 @@ cat > gdb_get_stdin.c <<EOF
 FILE * gdb_get_stdin (void);
 
 FILE *
-gdb_get_stdin ()
+gdb_get_stdin (void)
 {
   return stdin;
 }