diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 4bf84d93a..a555801cf 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 4bf84d93aaa544fd9644867c54cdaa7d0ad73bf0
+Subproject commit a555801cfa2313909b4b530cbe631310003115f6