diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index f3c0f8ea2..6880b7bb8 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit f3c0f8ea25d56e422745a422c5659bc43875584d
+Subproject commit 6880b7bb8e871f47ef4536dd59f35175aa2da4eb