Fix misleading error message for --generate-function-body on existing bodies#8786

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:fix-2974-generate-function-body-warningtautschnig/cbmc:fix-2974-generate-function-body-warningCopy head branch name to clipboard