Skip to content

Commit 7e95e1c

Browse files
author
thk123
committed
Remove deprecated call to make_typecast
1 parent 9cfeea6 commit 7e95e1c

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)