diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 4400a3a85..9f6f7fbb8 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 4400a3a85ef61d519b661c8090e4eec92d69585c
+Subproject commit 9f6f7fbb8d63fed1941196d43bc9e8d705234203