Really add a prototype for tui_rehighlight_all.

diff --git a/gdb/tui/tui-win.h b/gdb/tui/tui-win.h
index 7d77a0040add7038f2d958a608f7cb1efa6ff333..f3c1368767e25b1d4e09476463fc1f4d3012014c 100644 (file)
--- a/gdb/tui/tui-win.h
+++ b/gdb/tui/tui-win.h
@@ -35,6 +35,7 @@ extern void tui_scroll (enum tui_scroll_direction,
 extern void tui_set_win_focus_to (struct tui_win_info *);
 extern void tui_resize_all (void);
 extern void tui_refresh_all_win (void);
+extern void tui_rehighlight_all (void);
 
 extern chtype tui_border_ulcorner;
 extern chtype tui_border_urcorner;