// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
[[vkDestroyPipelineCache,vkDestroyPipelineCache]]
[source,c++]
----
void vkDestroyPipelineCache(
    VkDevice                                    device,
    VkPipelineCache                             pipelineCache,
    const VkAllocationCallbacks*                pAllocator);
----
