Skip to content

Commit addef03

Browse files
author
Enrico Steffinlongo
committed
Fixed removed and deprecated call
1 parent f3543c4 commit addef03

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/goto-symex/shadow_memory.cpp

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,8 +112,7 @@ shadow_memory_field_definitionst shadow_memoryt::gather_field_declarations(
112112
if(!target->is_function_call())
113113
continue;
114114

115-
const auto &code_function_call =
116-
to_code_function_call(target->get_code());
115+
const auto &code_function_call = to_code_function_call(target->code());
117116
const exprt &function = code_function_call.function();
118117

119118
if(function.id() != ID_symbol)

0 commit comments

Comments
 (0)