diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 04934e2d3..5d247e431 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 04934e2d3634a08d5c089dbb80f5bfd98a23f243
+Subproject commit 5d247e431935a1b67e5319526ff37a93847a6a8a