--- include/ttyio.h.orig	Fri May 25 08:42:50 2001
+++ include/ttyio.h	Fri Jun  8 22:12:12 2001
@@ -24,7 +24,7 @@
 #if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 5 )
  void tty_printf (const char *fmt, ... ) __attribute__ ((format (printf,1,2)));
 #else
- void tty_printf  const char *fmt, ... );
+ void tty_printf (const char *fmt, ... );
 #endif
 void tty_print_string( byte *p, size_t n );
 void tty_print_utf8_string( byte *p, size_t n );