From 5f6d441b51f671d2c2a684e9a2348487500cef74 Mon Sep 17 00:00:00 2001 From: Pedro Alves Date: Tue, 7 Nov 2017 13:03:39 +0000 Subject: show_commands --- gdb/source.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'gdb/source.c') diff --git a/gdb/source.c b/gdb/source.c index 6ac1af22063..61a36343fe1 100644 --- a/gdb/source.c +++ b/gdb/source.c @@ -111,6 +111,12 @@ get_current_source_info () return *current_ui->curr_source_info; } +void +delete_current_source_info (struct ui *ui) +{ + delete ui->curr_source_info; +} + /* Default number of lines to print with commands like "list". This is based on guessing how many long (i.e. more than chars_per_line characters) lines there will be. To be completely correct, "list" -- cgit v1.2.1