diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index da644bd6e..dcf3ee19c 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit da644bd6ec1066000549f37cc23a736124f3abb8
+Subproject commit dcf3ee19c6dfb77588ac3167584dd3f191f4924a