deprecate exprt::make_typecast(type)#3856

Merged

tautschnig merged 3 commits intodevelopfrom

Jan 23, 2019

Commits on Jan 23, 2019

deprecate exprt::make_typecast()

Daniel Kroening
authored and
tautschnig
committed
use typecast_exprt() instead of .make_typecast

Daniel Kroening
authored and
tautschnig
committed
use typecast_exprt::conditional_cast

Daniel Kroening
authored and
tautschnig
committed