diff options
Diffstat (limited to 'gdb/mi/mi-interp.h')
| -rw-r--r-- | gdb/mi/mi-interp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/mi/mi-interp.h b/gdb/mi/mi-interp.h index 45b6f15..5e82606 100644 --- a/gdb/mi/mi-interp.h +++ b/gdb/mi/mi-interp.h @@ -47,6 +47,7 @@ public: void on_normal_stop (struct bpstat *bs, int print_frame) override; void on_exited (int status) override; void on_no_history () override; + void on_sync_execution_done () override; /* MI's output channels */ mi_console_file *out; |