diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index f7b6ca47e..7c71f7647 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit f7b6ca47ef6bfc41ca74581669e822b343e6fc6c
+Subproject commit 7c71f7647da5c560826d818799785f577db4d6a8