From d8f9adb77af93e9a7de1e4b24e711430c8a8e459 Mon Sep 17 00:00:00 2001
From: Petr Kraus <petr_kraus@email.cz>
Date: Fri, 20 Jul 2018 20:04:12 +0200
Subject: [PATCH] Update wrong VkResult <unused> tag

---
 xml/vk.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/vk.xml b/xml/vk.xml
index 4419c6fb..5e4119d5 100644
--- a/xml/vk.xml
+++ b/xml/vk.xml
@@ -3725,7 +3725,7 @@ server.
         <enum value="-10"   name="VK_ERROR_TOO_MANY_OBJECTS" comment="Too many objects of the type have already been created"/>
         <enum value="-11"   name="VK_ERROR_FORMAT_NOT_SUPPORTED" comment="Requested format is not supported on this device"/>
         <enum value="-12"   name="VK_ERROR_FRAGMENTED_POOL" comment="A requested pool allocation has failed due to fragmentation of the pool's memory"/>
-            <unused start="-12"/>
+            <unused start="-13" comment="This is the next unused available error code (negative value)"/> 
     </enums>
     <enums name="VkDynamicState" type="enum">
         <enum value="0"     name="VK_DYNAMIC_STATE_VIEWPORT"/>