diff --git a/x86-semantics/docs/instruction-summary b/x86-semantics/docs/instruction-summary
index 12f9ff232..9136fccee 160000
--- a/x86-semantics/docs/instruction-summary
+++ b/x86-semantics/docs/instruction-summary
@@ -1 +1 @@
-Subproject commit 12f9ff232d55cbc82d6c09596b29f7dab1df5738
+Subproject commit 9136fcceef8983f221acd503ffee3d833301e9d4