From d6d437d12fb0976e7bb18ad594e1001415d72b13 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 11 Nov 2013 12:10:04 +0000
Subject: [PATCH] update

---
 packages/pldoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/pldoc b/packages/pldoc
index 1e324d30b..34ef10c71 160000
--- a/packages/pldoc
+++ b/packages/pldoc
@@ -1 +1 @@
-Subproject commit 1e324d30b913edbe78cc4b923cde7998013cbfb0
+Subproject commit 34ef10c71d1577dcde1e5437949cc202638ed671