Code

Remove pointless typecasts#1580

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/cast_materialised_temporarysmowton/cbmc:smowton/fix/cast_materialised_temporaryCopy head branch name to clipboard

Nov 12, 2017

Commits

Commits on Nov 12, 2017

• Remove pointless typecasts

  Show description for 87b9de1
  smowton

  committed
  87b9de1

  Copy full SHA for 87b9de1