diff --git a/VulkanHppGenerator.cpp b/VulkanHppGenerator.cpp
index c273795..93a7f48 100644
--- a/VulkanHppGenerator.cpp
+++ b/VulkanHppGenerator.cpp
@@ -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" )