Removed the last reference to the eliminated Exec_info prompt object.
Authored by: bugman 2012-05-04
Parent: [r15948]
Child: [r15950]
