diff --git a/external/lang b/external/lang
index aaee1a0c..25d95257 160000
--- a/external/lang
+++ b/external/lang
@@ -1 +1 @@
-Subproject commit aaee1a0c0a916fbd3397fe275704ea8de5ab93a5
+Subproject commit 25d9525765c141893d5fcac500e42553b5a6e8c7