Skip to content

Commit de4b250

Browse files
author
thk123
committed
Remove deprecated call to make_typecast
1 parent c4bb99d commit de4b250

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/goto-programs/remove_virtual_functions.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -139,7 +139,7 @@ static void create_static_function_call(
139139
call_args[i].type().id() == ID_pointer,
140140
"where overriding function argument types differ, "
141141
"those arguments must be pointer-typed");
142-
call_args[i].make_typecast(need_type);
142+
call_args[i] = typecast_exprt(call_args[i], need_type);
143143
}
144144
}
145145
}

0 commit comments

Comments
 (0)