diff options
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/cli/cli-style.h | 3 |
2 files changed, 5 insertions, 3 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index f5c8a76..bac7f44 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2019-11-10 Tom Tromey <tom@tromey.com> + + * cli/cli-style.h (class cli_style_option) <cli_style_option>: + Remove unused declaration. + 2019-11-08 Tom Tromey <tromey@adacore.com> * top.c (read_command_file): Update. diff --git a/gdb/cli/cli-style.h b/gdb/cli/cli-style.h index 6716471..44eb6cb 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; |