diff --git a/packages/pldoc b/packages/pldoc
index c04ee0be3..d41891071 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit c04ee0be3b03df2269178e008345f5fa395f40d2
+Subproject commit d41891071193a6c9d20b30bdbe709531948e111b