Merge pull request #1356 from robertovargas-arm/misra-changes
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Mon, 16 Apr 2018 14:04:28 +0000 (15:04 +0100)
committerGitHub <noreply@github.com>
Mon, 16 Apr 2018 14:04:28 +0000 (15:04 +0100)
commit8b37120065e5800c49754a5c9ba97bc98728c964
tree5600523a42e194280583c16cda686a4ee7658d80
parent9d82dd9b68114f0ac4d56b23e83e61414f2dc72f
parent3b94189a921c0ea2a410c7730dc9636d95f5aa86
Merge pull request #1356 from robertovargas-arm/misra-changes

Misra changes