diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index bd0350d6c..93ec9b723 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit bd0350d6c400ca144a6dd7e2815c85d1f6d0543e
+Subproject commit 93ec9b7231098d552574aac6c5c9057676443c5d