Merge pull request #1507 from jeenu-arm/bool
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Thu, 2 Aug 2018 09:21:27 +0000 (10:21 +0100)
committerGitHub <noreply@github.com>
Thu, 2 Aug 2018 09:21:27 +0000 (10:21 +0100)
commitf214a8069822051f738f3fe8bec85dad0f0ac71f
treeb59bf71f518cc19258bfd7bea4786b693bd86740
parente313c122a707aedec63134448920c466e160957e
parenteea75baa97c5cf1a4d350bab4f9e00bfd3d1cfd1
Merge pull request #1507 from jeenu-arm/bool

Define bool type