From ef509a569273fec746900be45cef2d7c9dc72c60 Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Wed, 15 Aug 2018 11:21:29 +0100 Subject: [PATCH] two further instances of symbol_type --- src/util/rename_symbol.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/rename_symbol.cpp b/src/util/rename_symbol.cpp index 32e9071bcce..ffb1f5a45f3 100644 --- a/src/util/rename_symbol.cpp +++ b/src/util/rename_symbol.cpp @@ -170,7 +170,7 @@ bool rename_symbolt::rename(typet &dest) const } } } - else if(dest.id()==ID_symbol) + else if(dest.id() == ID_symbol_type) { type_mapt::const_iterator it= type_map.find(to_symbol_type(dest).get_identifier()); @@ -253,7 +253,7 @@ bool rename_symbolt::have_to_rename(const typet &dest) const return true; } } - else if(dest.id()==ID_symbol) + else if(dest.id() == ID_symbol_type) { const irep_idt &identifier = to_symbol_type(dest).get_identifier(); return type_map.find(identifier) != type_map.end();