replace_symbolt: hide {expr,type}_map#2720

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:replace_symbol-cleanup1tautschnig/cbmc:replace_symbol-cleanup1Copy head branch name to clipboard