diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index f08cfb655..254b86d95 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit f08cfb655bceeb72b41eb6fa6e78caeb5885b5c2
+Subproject commit 254b86d9519012985e9e9eaba35b9ead9be56c52