diff options
Diffstat (limited to 'gdb/cli/cli-style.h')
| -rw-r--r-- | gdb/cli/cli-style.h | 3 |
1 files changed, 0 insertions, 3 deletions
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; |