diff options
| author | David Edelsohn <dje.gcc@gmail.com> | 1997-04-17 13:46:50 +0000 |
|---|---|---|
| committer | David Edelsohn <dje.gcc@gmail.com> | 1997-04-17 13:46:50 +0000 |
| commit | 09e348731e97a0ab14fd72faa4948e6ba0d802c1 (patch) | |
| tree | 18e6f889879ccdf2b2dda2b129bd2a4bbe9e7fce /include | |
| parent | c95d08a8d6f4256eab674aedd92d1c8736f5b9ae (diff) | |
| download | gdb-09e348731e97a0ab14fd72faa4948e6ba0d802c1.zip gdb-09e348731e97a0ab14fd72faa4948e6ba0d802c1.tar.gz gdb-09e348731e97a0ab14fd72faa4948e6ba0d802c1.tar.bz2 | |
Tweak comment.
Diffstat (limited to 'include')
| -rw-r--r-- | include/callback.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/include/callback.h b/include/callback.h index b2a7fe2..0d689cb 100644 --- a/include/callback.h +++ b/include/callback.h @@ -60,8 +60,7 @@ struct host_callback_struct /* depreciated, use vprintf_filtered - Talk to the user on a console. */ void (*printf_filtered) PARAMS ((host_callback *, const char *, ...)); - /* Talk to the user on a console. - The `void *' is actually `va_list *'. */ + /* Talk to the user on a console. */ void (*vprintf_filtered) PARAMS ((host_callback *, const char *, va_list)); /* Same as vprintf_filtered but to stderr. */ |