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