| Index: gdb/tui/tui-stack.h
|
| diff --git a/gdb/tui/tui-stack.h b/gdb/tui/tui-stack.h
|
| index 118bb5d6d66676421b34f8fcc2d5187acdb640c8..9ba3806bfc47923a7244e14aa4c05f93e28c78a0 100644
|
| --- a/gdb/tui/tui-stack.h
|
| +++ b/gdb/tui/tui-stack.h
|
| @@ -1,7 +1,6 @@
|
| /* TUI display locator.
|
|
|
| - Copyright (C) 1998-2002, 2004, 2007-2012 Free Software Foundation,
|
| - Inc.
|
| + Copyright (C) 1998-2013 Free Software Foundation, Inc.
|
|
|
| Contributed by Hewlett-Packard Company.
|
|
|
| @@ -25,7 +24,7 @@
|
|
|
| struct frame_info;
|
|
|
| -extern void tui_update_locator_filename (const char *);
|
| +extern void tui_update_locator_fullname (const char *);
|
| extern void tui_show_locator_content (void);
|
| extern void tui_show_frame_info (struct frame_info *);
|
|
|
|
|