Skip to content

Replace make_typecast by typecast_exprt or typecast_exprt::conditional_cast [blocks: #3800]#3991

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:deprecation-make_typecast
Feb 7, 2019

Commits

Commits on Feb 7, 2019