Remove unneeded code#1650

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

owen-mc-diffblue:owen-jones-diffblue/remove-unneeded-codeowen-mc-diffblue/cbmc:owen-jones-diffblue/remove-unneeded-codeCopy head branch name to clipboard