diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 7285b76f8..9612e699d 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 7285b76f8284ea1c6e145ac0e664d8f3e5f537b9
+Subproject commit 9612e699de8586e77e8c31d13ea0712552da24ee