#include "gdb_stat.h"
/* Work with core dump and executable files, for GDB.
- This code would be in core.c if it weren't machine-dependent. */
+ This code would be in corefile.c if it weren't machine-dependent. */
void
core_file_command (filename, from_tty)