From 14651d6d73cdad0513b87a556922c938b00a82d4 Mon Sep 17 00:00:00 2001
From: asuessenbach <asuessenbach@nvidia.com>
Date: Mon, 22 Feb 2021 14:00:51 +0100
Subject: [PATCH] Change an assertion into an error check.

---
 VulkanHppGenerator.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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" )