diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 0346a7274..245141a12 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 0346a72741c80839cb26cca05c21f1e4bda4aba1
+Subproject commit 245141a12fb6811eeda1c7d8ce5699785cacfbb3