diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 9c1477f8e..f82f5136a 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 9c1477f8e417552dabe3139f14227ba121137fda
+Subproject commit f82f5136aea6356cb5b1cd092099c940d07eaab6