From e3921d7c9fcd927ca69a6ba0c06308349ee8d7de Mon Sep 17 00:00:00 2001
From: Sandeep Dasgupta <sdasgup3@illinois.edu>
Date: Thu, 17 May 2018 15:06:23 -0500
Subject: [PATCH] https://github.com/sdasgup3/binary-decompilation/issues/71:
 wip

---
 x86-semantics/docs/instruction-summary | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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