| Index: gdb/top.h | 
| diff --git a/gdb/top.h b/gdb/top.h | 
| index 6f7423321398e02447a83f812e8e9fee37b66f0a..2f70539630aa1bd8be3f855cd4683abc93a27160 100644 | 
| --- a/gdb/top.h | 
| +++ b/gdb/top.h | 
| @@ -1,7 +1,6 @@ | 
| /* Top level stuff for GDB, the GNU debugger. | 
|  | 
| -   Copyright (C) 1986-1994, 1996-2000, 2005-2012 Free Software | 
| -   Foundation, Inc. | 
| +   Copyright (C) 1986-2013 Free Software Foundation, Inc. | 
|  | 
| This file is part of GDB. | 
|  | 
| @@ -29,10 +28,10 @@ extern int in_user_command; | 
| extern int confirm; | 
| extern char gdb_dirbuf[1024]; | 
| extern int inhibit_gdbinit; | 
| -extern int epoch_interface; | 
| -extern char gdbinit[]; | 
| +extern const char gdbinit[]; | 
|  | 
| extern void print_gdb_version (struct ui_file *); | 
| +extern void print_gdb_configuration (struct ui_file *); | 
|  | 
| extern void read_command_file (FILE *); | 
| extern void init_history (void); | 
|  |