commit dbd55f15bc3d08f7082d6f733a2215b09de7366e
author David Neto <dneto@google.com> Fri Apr 15 21:02:45 2016 -0400
committer David Neto <dneto@google.com> Fri Apr 15 21:02:45 2016 -0400
tree b107b0fac031954496085a71037a6d95cde2878b
parent fec6ed18218897c834a8210c664a19000a36ca37

Fix arguments to OpConstantPipeStorage

include/spirv/1.1/spirv.core.grammar.json

diff --git a/include/spirv/1.1/spirv.core.grammar.json b/include/spirv/1.1/spirv.core.grammar.json
index 123ed5e..eb55ccb 100644
--- a/include/spirv/1.1/spirv.core.grammar.json
+++ b/include/spirv/1.1/spirv.core.grammar.json
@@ -3032,9 +3032,8 @@
       "operands" : [
         { "kind" : "IdResultType" },
         { "kind" : "IdResult" },
-        { "kind" : "IdRef",          "name" : "'Packet Type'" },
-        { "kind" : "IdRef",          "name" : "'Packet Size'" },
-        { "kind" : "IdRef",          "name" : "'Packet Alignment'" },
+        { "kind" : "LiteralInteger", "name" : "'Packet Size'" },
+        { "kind" : "LiteralInteger", "name" : "'Packet Alignment'" },
         { "kind" : "LiteralInteger", "name" : "'Capacity'" }
       ],
       "capabilities" : [ "PipeStorage" ]