/* Remote debugging interface for DINK32 (PowerPC) ROM monitor for
GDB, the GNU debugger.
- Copyright (C) 1997, 1999, 2000, 2001, 2007, 2008, 2009
+ Copyright (C) 1997, 1999, 2000, 2001, 2007, 2008, 2009, 2010
Free Software Foundation, Inc.
This file is part of GDB.
#include "monitor.h"
#include "serial.h"
#include "symfile.h" /* For generic_load() */
-#include "inferior.h" /* For write_pc() */
+#include "inferior.h"
#include "regcache.h"
static void dink32_open (char *args, int from_tty);