From ead4bb190fbd46b331f12a2dfa1a4856884d8ec3 Mon Sep 17 00:00:00 2001
From: GregF <greg@LunarG.com>
Date: Fri, 5 Jan 2018 11:17:34 -0700
Subject: [PATCH] Update known good spirv-tools. Fixes issue #1205.

---
 known_good.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/known_good.json b/known_good.json
index 222d2da07..ac367bf91 100644
--- a/known_good.json
+++ b/known_good.json
@@ -5,7 +5,7 @@
       "site" : "github",
       "subrepo" : "KhronosGroup/SPIRV-Tools",
       "subdir" : "External/spirv-tools",
-      "commit" : "0f804063154f45af308f8ce31c41f58fae3f18dc"
+      "commit" : "716718a5e969f6b4e73cbc864db59a754a83aab3"
     },
     {
       "name" : "spirv-tools/external/spirv-headers",
-- 
GitLab