/* Top level stuff for GDB, the GNU debugger.
- Copyright 1986-1994, 2000 Free Software Foundation, Inc.
+ Copyright 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1996,
+ 1997, 1998, 1999, 2000 Free Software Foundation, Inc.
This file is part of GDB.
Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */
+#ifndef TOP_H
+#define TOP_H
+
/* From top.c. */
extern char *line;
extern int linesize;
extern int quit_confirm (void);
extern void quit_force (char *, int);
extern void quit_command (char *, int);
-extern void command_loop_marker (void *);
-extern int quit_cover (PTR);
+extern int quit_cover (void *);
extern void execute_command (char *, int);
/* This function returns a pointer to the string that is used
extern char *source_pre_error;
extern int history_expansion_p;
extern int server_command;
+
+#endif