Avoid deprecated code_typet() constructor#2454

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-code-typettautschnig/cbmc:vs-code-typetCopy head branch name to clipboard