diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 4b2a1d9eb..2720a3349 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 4b2a1d9ebe493bc61449b6e0781f5efd97bc328a
+Subproject commit 2720a334998f4f01d6ea29fb78f7732654cba15a