diff --git a/packages/pldoc b/packages/pldoc
index 32554931e..fa667ecac 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit 32554931ed7a59771bf1939cfad434c253b459e2
+Subproject commit fa667ecacf4128c10dc51215ff54f25672a782c8