/* Display the frame position (even if there is no symbols or
the PC is not known). */
- int frame_info_changed_p = tui_show_frame_info (fi);
+ bool frame_info_changed_p = tui_show_frame_info (fi);
/* Refresh the register window if it's visible. */
if (tui_is_window_visible (DATA_WIN)