From a2c39a2947176630a91a6ecbe616ac914d76f775 Mon Sep 17 00:00:00 2001
From: Lei Zhang <antiagainst@gmail.com>
Date: Wed, 4 Jul 2018 14:53:45 -0400
Subject: [PATCH] Use public SPIRV-Tools header

---
 SPIRV/disassemble.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/SPIRV/disassemble.cpp b/SPIRV/disassemble.cpp
index 16770c47..a8efd693 100755
--- a/SPIRV/disassemble.cpp
+++ b/SPIRV/disassemble.cpp
@@ -718,7 +718,7 @@ void Disassemble(std::ostream& out, const std::vector<unsigned int>& stream)
 
 #if ENABLE_OPT
 
-#include "spirv-tools/source/disassemble.h"
+#include "spirv-tools/libspirv.h"
 
 // Use the SPIRV-Tools disassembler to print SPIR-V.
 void SpirvToolsDisassemble(std::ostream& out, const std::vector<unsigned int>& spirv)