* This file was generated by /scripts/gen_framework.py
*/
-void getCoreDeviceExtensionsImpl (deUint32 coreVersion, ::std::vector<const char*>& dst)
+void getCoreDeviceExtensionsImpl (uint32_t coreVersion, ::std::vector<const char*>& dst)
{
if (coreVersion >= VK_API_VERSION_1_2)
{
}
}
-void getCoreInstanceExtensionsImpl (deUint32 coreVersion, ::std::vector<const char*>& dst)
+void getCoreInstanceExtensionsImpl (uint32_t coreVersion, ::std::vector<const char*>& dst)
{
if (coreVersion >= VK_API_VERSION_1_1)
{