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)
Define bool type


Trivial merge