diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 5d23cf6e8..c5e7c9e62 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 5d23cf6e8548032d80ee43d89beb6b2d3855d1f7
+Subproject commit c5e7c9e6243f5546b9732121164dc281463d61ce