Merge pull request #966 from davidcunado-arm/dc/build_with_gcc6.2
authordavidcunado-arm <david.cunado@arm.com>
Tue, 20 Jun 2017 11:20:08 +0000 (12:20 +0100)
committerGitHub <noreply@github.com>
Tue, 20 Jun 2017 11:20:08 +0000 (12:20 +0100)
Resolve build errors flagged by GCC 6.2


Trivial merge