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