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 *); |