/* MI Internal Functions for GDB, the GNU debugger.
- Copyright (C) 2003-2014 Free Software Foundation, Inc.
+ Copyright (C) 2003-2016 Free Software Foundation, Inc.
This file is part of GDB.
extern void mi_print_timing_maybe (void);
+/* Whether MI is in async mode. */
+
+extern int mi_async_p (void);
+
extern char *current_token;
extern int running_result_record_printed;