diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 7e9814c58..5208a472e 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 7e9814c58c3d6addf93b0d2df47104aad654b957
+Subproject commit 5208a472ec7aa18dd3795d5a7c96f6b8de1d9dd3