| Index: gdb/tui/tui-source.h
|
| diff --git a/gdb/tui/tui-source.h b/gdb/tui/tui-source.h
|
| index 6363bf58a0df6efc216d2a42091090601dbdc73d..8870268875a980dbb6e9028680fa96dc44bcb0b8 100644
|
| --- a/gdb/tui/tui-source.h
|
| +++ b/gdb/tui/tui-source.h
|
| @@ -1,7 +1,6 @@
|
| /* TUI display source window.
|
|
|
| - Copyright (C) 1998-2002, 2004, 2007-2012 Free Software Foundation,
|
| - Inc.
|
| + Copyright (C) 1998-2013 Free Software Foundation, Inc.
|
|
|
| Contributed by Hewlett-Packard Company.
|
|
|
| @@ -36,7 +35,7 @@ extern enum tui_status tui_set_source_content (struct symtab *,
|
| extern void tui_show_symtab_source (struct gdbarch *, struct symtab *,
|
| struct tui_line_or_address,
|
| int);
|
| -extern int tui_source_is_displayed (char *);
|
| +extern int tui_source_is_displayed (const char *);
|
| extern void tui_vertical_source_scroll (enum tui_scroll_direction,
|
| int);
|
|
|
|
|