diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index ca5b00fed4..c0c5b7d243 100644
--- a/gdb/infcmd.c
+++ b/gdb/infcmd.c
@@ -211,6 +211,7 @@ run_command (args, from_tty)
 
   dont_repeat ();
 
+  /* Shouldn't this be target_has_execution?  FIXME.  */
   if (inferior_pid)
     {
       if (