Index: gdb/tui/tui.h |
diff --git a/gdb/tui/tui.h b/gdb/tui/tui.h |
index 2918553f66ac24a8b24d6e2f6871ba32a8f4503c..76a480417075029d2d044316b004e1e2362012b8 100644 |
--- a/gdb/tui/tui.h |
+++ b/gdb/tui/tui.h |
@@ -1,7 +1,6 @@ |
/* External/Public TUI Header File. |
- Copyright (C) 1998-2001, 2004, 2007-2012 Free Software Foundation, |
- Inc. |
+ Copyright (C) 1998-2013 Free Software Foundation, Inc. |
Contributed by Hewlett-Packard Company. |
@@ -96,7 +95,7 @@ extern void tui_set_key_mode (enum tui_key_mode mode); |
extern int tui_active; |
-extern void tui_show_source (const char *file, int line); |
+extern void tui_show_source (const char *fullname, int line); |
extern struct ui_out *tui_out_new (struct ui_file *stream); |