Merge pull request #888 from asuessenbach/provisional

Change an assertion into an error check.
This commit is contained in:
Andreas Süßenbach 2021-02-22 16:17:20 +01:00 committed by GitHub
commit 8dc12ba963
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8141,8 +8141,9 @@ void VulkanHppGenerator::readExtension( tinyxml2::XMLElement const * element )
#if !defined( NDEBUG )
else if ( attribute.first == "provisional" )
{
assert( attribute.second == "true" );
assert( platform == "provisional" );
check( platform == "provisional",
line,
"while attribute <provisional> is set to \"true\", attribute <platform> is not set to \"provisional\"" );
}
#endif
else if ( attribute.first == "requires" )