Fix types in use of set_polarity#6071

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:set_polaritytautschnig/cbmc:set_polarityCopy head branch name to clipboard