Remove value_sett::idt [blocks: #4463]#4462

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:remove-value_set-idttautschnig/cbmc:remove-value_set-idtCopy head branch name to clipboard