diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 829717371..6c5712b64 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 82971737114f04bb1cc394009ba245841ecbb9c0
+Subproject commit 6c5712b648303fd12bd5387491cc2b71e4f915ef