diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 79bb8cf65..6f9f4e40c 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 79bb8cf650cd0c39c3b1b4bbb0b24ce35d71f1fb
+Subproject commit 6f9f4e40cf9a98e8bee8318875d6732efc6b7be2