diff --git a/Plang b/Plang
index 3e99c6f7..716dbcfa 160000
--- a/Plang
+++ b/Plang
@@ -1 +1 @@
-Subproject commit 3e99c6f7b3d30e5a45c92e171fc329c91d7e25e2
+Subproject commit 716dbcfadf86215940cffeb4c4bdcecd472f846e