Merge pull request #2540 from dgkoch/dgkoch_build_fix
authorgreg-lunarg <greg@lunarg.com>
Tue, 23 Feb 2021 00:07:33 +0000 (17:07 -0700)
committerGitHub <noreply@github.com>
Tue, 23 Feb 2021 00:07:33 +0000 (17:07 -0700)
Fix warning in build


Trivial merge