X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=gdb%2Ftui%2Ftui-layout.h;h=cfe807d8690a12b3e4f8dc6be3e4abd1678dac56;hb=9b30da15e72bd4e8265169bfd511272aa3875738;hp=691d4ad2e22b05a0ba6f09e9310d980ef9439aed;hpb=5024637fac653914d471808288dc3221bc7ec089;p=deliverable%2Fbinutils-gdb.git

diff --git a/gdb/tui/tui-layout.h b/gdb/tui/tui-layout.h
index 691d4ad2e2..cfe807d869 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.  */