diff --git a/gdb/ChangeLog b/gdb/ChangeLog index f5c8a76c0f..bac7f4419e 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2019-11-10 Tom Tromey + + * cli/cli-style.h (class cli_style_option) : + Remove unused declaration. + 2019-11-08 Tom Tromey * top.c (read_command_file): Update. diff --git a/gdb/cli/cli-style.h b/gdb/cli/cli-style.h index 6716471dec..44eb6cb63a 100644 --- a/gdb/cli/cli-style.h +++ b/gdb/cli/cli-style.h @@ -34,9 +34,6 @@ public: /* Construct a CLI style option with an intensity. */ cli_style_option (const char *name, ui_file_style::intensity i); - /* Construct a CLI style option with an intensity. */ - cli_style_option (ui_file_style::intensity val); - /* Return a ui_file_style corresponding to the settings in this CLI style. */ ui_file_style style () const;