diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 81f53a4a0..42fbcf258 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 81f53a4a05f3a255c3a293f53a8161cd9b59212c
+Subproject commit 42fbcf258505d44628143f9dafd44f0c586f1d74