diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 7cde7d931..8a4ee8dfd 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 7cde7d9317ae61817d14b64e49ecbdd0e1cdcb40
+Subproject commit 8a4ee8dfd7ed39cf917ca3b95a5676ac29e38e20