diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 20a21a7de..4af40da17 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 20a21a7de0db4be0b63553ebac90950dbf2a58fe
+Subproject commit 4af40da17ac91b43d4f5832dfc47dec7301d2145