diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 69b71a2c4..72e9b93c8 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 69b71a2c432652c2eacef5bdccd0f502c0abe986
+Subproject commit 72e9b93c8ff81020b2f65e23cde04dadabfe4f5a