diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 50b723743fd..083e312736c 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2017-08-17  Pedro Alves  <palves@redhat.com>
+
+	* cli/cli-cmds.c (source_command): Delete 'old_source_verbose'
+	local.
+
 2017-08-17  Pedro Alves  <palves@redhat.com>
 
 	* dwarf2read.c (struct dwarf2_cu) <line_header_die_owner>: New
diff --git a/gdb/cli/cli-cmds.c b/gdb/cli/cli-cmds.c
index d3ec4aeaa3c..3fa24994d86 100644
--- a/gdb/cli/cli-cmds.c
+++ b/gdb/cli/cli-cmds.c
@@ -639,7 +639,6 @@ static void
 source_command (char *args, int from_tty)
 {
   char *file = args;
-  int *old_source_verbose = XNEW (int);
   int search_path = 0;
 
   scoped_restore save_source_verbose = make_scoped_restore (&source_verbose);