diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 5852af1ba..ad5d342f2 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 5852af1ba9f283ce76d1ac919c143e9d7b0942dd
+Subproject commit ad5d342f23c88b113cc85f1968b35d8bd07c6f9e