diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ff9ff8708a..6cfa771cad 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2013-07-25  Doug Evans  <dje@google.com>
+
+	* linux-fork.h (detach_fork): Delete.
+
 2013-07-25  Tom Tromey  <tromey@redhat.com>
 
 	PR remote/15256, PR remote/15266:
diff --git a/gdb/linux-fork.h b/gdb/linux-fork.h
index 6942da3ffb..5d924dec50 100644
--- a/gdb/linux-fork.h
+++ b/gdb/linux-fork.h
@@ -25,6 +25,3 @@ extern void linux_fork_mourn_inferior (void);
 extern void linux_fork_detach (char *, int);
 extern int forks_exist_p (void);
 extern int linux_fork_checkpointing_p (int);
-
-extern int detach_fork;
-