diff options
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/tui/tui-layout.h | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 6f193c3..5464461 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2019-12-17 Simon Marchi <simon.marchi@polymtl.ca> + + * tui/tui-layout.h (class tui_layout_base): Add virtual + destructor. + 2019-12-16 Bernd Edlinger <bernd.edlinger@hotmail.de> * infcmd.c (prepare_one_step): Step over skipped inline functions. diff --git a/gdb/tui/tui-layout.h b/gdb/tui/tui-layout.h index 691d4ad..cfe807d 100644 --- a/gdb/tui/tui-layout.h +++ b/gdb/tui/tui-layout.h @@ -34,6 +34,8 @@ public: DISABLE_COPY_AND_ASSIGN (tui_layout_base); + virtual ~tui_layout_base () = default; + /* Clone this object. Ordinarily a layout is cloned before it is used, so that any necessary modifications do not affect the "skeleton" layout. */ |