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