/* Header file for GDB CLI utility library.
- Copyright (C) 2001 Free Software Foundation, Inc.
+ Copyright 2001 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
#if !defined (CLI_UTILS_H)
# define CLI_UTILS_H 1
-/* Write character C to gdb_stdout using GDB's paging mechanism and return C.
- May return nonlocally. */
-
-extern int putchar_filtered (int c);
-
#endif /* !defined (CLI_UTILS_H) */