Merge pull request #852 from steve-lunarg/declared-builtin
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 16 May 2017 16:38:32 +0000 (10:38 -0600)
committerGitHub <noreply@github.com>
Tue, 16 May 2017 16:38:32 +0000 (10:38 -0600)
track declared builtin type


Trivial merge