/* For struct frame_id. */
#include "frame.h"
+#include "ui-out.h"
+
struct thread_info
{
struct thread_info *next;
`set print thread-events'. */
extern int print_thread_events;
+extern void print_thread_info (struct ui_out *uiout, int thread);
+
#endif /* GDBTHREAD_H */