gdb/

[binutils-gdb.git] / gdb / mi / mi-main.h

diff --git a/gdb/mi/mi-main.h b/gdb/mi/mi-main.h
index 90a61e3821b653f36c14e2ebb2011d94b2d5c076..c8e0b7e0a0db742825a30ff07d53fd830f7fde86 100644 (file)
--- a/gdb/mi/mi-main.h
+++ b/gdb/mi/mi-main.h
@@ -31,6 +31,7 @@ extern void mi_print_timing_maybe (void);
 extern char *current_token;
 
 extern int running_result_record_printed;
+extern int mi_proceeded;
 
 #endif