From 4cd5ab19236d1037dc35b3778f808eaea9749a28 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 20 Jul 2019 17:06:10 +0100 Subject: [PATCH] use shorted_symbol_names in show_symbol_table_brief_plain This saves a bit of code. --- src/goto-programs/show_symbol_table.cpp | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/src/goto-programs/show_symbol_table.cpp b/src/goto-programs/show_symbol_table.cpp index 9d0f024900b..9f29158bc8d 100644 --- a/src/goto-programs/show_symbol_table.cpp +++ b/src/goto-programs/show_symbol_table.cpp @@ -31,16 +31,9 @@ void show_symbol_table_brief_plain( std::ostream &out) { // we want to sort alphabetically - std::set symbols; - - for(const auto &symbol_pair : symbol_table.symbols) - { - symbols.insert(id2string(symbol_pair.first)); - } - const namespacet ns(symbol_table); - for(const std::string &id : symbols) + for(const auto &id : symbol_table.sorted_symbol_names()) { const symbolt &symbol=ns.lookup(id);