Index: generic/gdbtk-cmds.c
===================================================================
RCS file: /cvs/src/src/gdb/gdbtk/generic/gdbtk-cmds.c,v
retrieving revision 1.134
diff -u -p -r1.134 gdbtk-cmds.c
--- generic/gdbtk-cmds.c	2 Jul 2013 17:07:29 -0000	1.134
+++ generic/gdbtk-cmds.c	30 Jul 2013 23:13:11 -0000
@@ -487,9 +487,6 @@ gdb_clear_file (ClientData clientData, T
 	target_kill ();
     }
 
-  if (target_has_execution)
-    pop_target ();
-
   delete_command (NULL, 0);
   exec_file_clear (0);
   symbol_file_clear (0);