Use std::set instead of map as value is never used - #2408

Use std::set instead of map as value is never used#2408

tautschnig merged 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-set-maptautschnig/cbmc:vs-set-mapCopy head branch name to clipboard