diff --git a/Plang b/Plang
index 91432db5..5c13c6c5 160000
--- a/Plang
+++ b/Plang
@@ -1 +1 @@
-Subproject commit 91432db555e7fab5ff2437b954b75731b2602f03
+Subproject commit 5c13c6c5c006075401af95bc637b6a4aec9fe26a