tree 3d3545cb3b30f1b9724843313d8bd0fc4576ee60
parent 216140151bc04eda0d64136c51ee106e59335ab7
parent 5b8183c67dfc4adfec9137b026492a05788319c4
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1535447241 +0100
committer GitHub <noreply@github.com> 1535447241 +0100

Merge pull request #1538 from jts-arm/typos

Remove unnecessary casts