diff options
| author | John Gilmore <gnu@cygnus> | 1992-03-29 23:26:47 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@cygnus> | 1992-03-29 23:26:47 +0000 |
| commit | be772100b5002a9d942ebea6e597787ea878932a (patch) | |
| tree | d5cf30ef76c85c6e4ee0fdf6824ea25df14fcf47 /gdb/language.c | |
| parent | 3414e4eb38123381ceb0a04ae0fd7fbb3de7e2db (diff) | |
| download | gdb-be772100b5002a9d942ebea6e597787ea878932a.zip gdb-be772100b5002a9d942ebea6e597787ea878932a.tar.gz gdb-be772100b5002a9d942ebea6e597787ea878932a.tar.bz2 | |
Lint
Diffstat (limited to 'gdb/language.c')
| -rw-r--r-- | gdb/language.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/language.c b/gdb/language.c index 01ed270..3ad4136 100644 --- a/gdb/language.c +++ b/gdb/language.c @@ -992,8 +992,8 @@ set_check (ignore, from_tty) } static void -show_check (arg, from_tty) - char *arg; +show_check (ignore, from_tty) + char *ignore; int from_tty; { cmd_show_list(showchecklist, from_tty, ""); |