[project @ 2005-05-06 00:30:56 by sof]
[ghc-base.git] / include / consUtils.h
index e6a04e8..953f5c7 100644 (file)
@@ -8,4 +8,5 @@
 extern int set_console_buffering__(int fd, int cooked);
 extern int set_console_echo__(int fd, int on);
 extern int get_console_echo__(int fd);
+extern int flush_input_console__ (int fd);
 #endif