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