1 files changed, 0 insertions, 4 deletions
diff --git a/gdb/inftarg.c b/gdb/inftarg.c
index 43c22481723..70d854125f4 100644
--- a/gdb/inftarg.c
+++ b/gdb/inftarg.c
@@ -804,11 +804,7 @@ child_has_exited (pid, wait_status, exit_status)
 static void
 child_mourn_inferior ()
 {
-  /* FIXME: Should be in a header file */
-  extern void proc_remove_foreign PARAMS ((int));
-
   unpush_target (&child_ops);
-  proc_remove_foreign (inferior_pid);
   generic_mourn_inferior ();
 }