diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 8db72c47d..f03eb8233 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 8db72c47df320f7e204002b7a30f551788666185
+Subproject commit f03eb823373f0b3c70479ee4847f57b4303814a3