diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 3599a304b..81172dff3 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 3599a304b368af608bd4da85a8853fa2f172d128
+Subproject commit 81172dff34b3ad824dfd1dccdd89596e92ab839f