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