diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index e1c4ef7b4..f08cfb655 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit e1c4ef7b46dea9dea288e46aa177f389212bb1cd
+Subproject commit f08cfb655bceeb72b41eb6fa6e78caeb5885b5c2