Code

Remove unneeded code#1650

Code

Merged

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

Dec 4, 2017

Commits

Commits on Dec 4, 2017

• Remove unneeded code

  Show description for 7176f49
  

  Owen Jones

  committed
  7176f49

  Copy full SHA for 7176f49