diff --git a/external/ia32-doc b/external/ia32-doc
index 6bfdd0e..efdea98 160000
--- a/external/ia32-doc
+++ b/external/ia32-doc
@@ -1 +1 @@
-Subproject commit 6bfdd0e8efe1a4f9c8489a93fe582a6e2e587c19
+Subproject commit efdea98d09f95ba5c05ae4ab9a5e6837e35183b7