diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 8a4ee8dfd..617bb7721 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 8a4ee8dfd7ed39cf917ca3b95a5676ac29e38e20
+Subproject commit 617bb7721d14ed5f84f5931791f2d92cdf31045e