1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/dink32-rom.c b/gdb/dink32-rom.c
index 0a41163..08dbe29 100644
--- a/gdb/dink32-rom.c
+++ b/gdb/dink32-rom.c
@@ -24,7 +24,7 @@
 #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);