Exception utils: remove redundant what() implementations#6608

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/exception-utilstautschnig/cbmc:cleanup/exception-utilsCopy head branch name to clipboard