diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 3690ea4fa..cef412441 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 3690ea4fa0e6a70f8cc23c1f6c78fa8d74ed11d2
+Subproject commit cef4124410796190cd8707c852e9d8c0b1cae306