diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 284f4719d..a442c5fac 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 284f4719d4300c7a62d86670e1944982d9d1026e
+Subproject commit a442c5facef14ba88d6067dead983e17fcf2d6c3