diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 525efe6e6..7e3471c9c 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 525efe6e6e621dc50d25deb6e1d0f1cf860a683f
+Subproject commit 7e3471c9caafd5c3482bba09f098edf49f817bab