diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 95426334e..7a2ce9c37 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 95426334eef96700035158efa85f540b3a446b18
+Subproject commit 7a2ce9c37bf6f6360bb33bc742e461924118ab23