* infcmd.c (run_command): Remove comment suggesting using
authorJim Kingdon <jkingdon@engr.sgi.com>
Wed, 10 Aug 1994 22:49:42 +0000 (22:49 +0000)
committerJim Kingdon <jkingdon@engr.sgi.com>
Wed, 10 Aug 1994 22:49:42 +0000 (22:49 +0000)
commitced992e4bd12d732e3d341e2d4424ef44b88d707
tree7e47087acc497aa6bf7178ccda4b4cfee4f17924
parentd48d9a282a3189422ef20d9e4ad8bd41d63f801c
* infcmd.c (run_command): Remove comment suggesting using
target_has_execution instead of inferior_pid.
gdb/ChangeLog