diff options
Diffstat (limited to 'gdb/mi/mi-main.h')
| -rw-r--r-- | gdb/mi/mi-main.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/mi/mi-main.h b/gdb/mi/mi-main.h index 1383177..90a61e3 100644 --- a/gdb/mi/mi-main.h +++ b/gdb/mi/mi-main.h @@ -26,11 +26,11 @@ extern void mi_load_progress (const char *section_name, unsigned long total_sent, unsigned long grand_total); +extern void mi_print_timing_maybe (void); + extern char *current_token; extern int running_result_record_printed; -void mi_print_timing_maybe (); - #endif |