diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 374229fe5..6830e0151 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 374229fe5c36fad188b64bd2704ed51d12ded6b5
+Subproject commit 6830e01516f28ddac63b0d255def04b151f1fa1e