diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 0e32a2384..cf847c5bd 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 0e32a2384ff04d426c6e14298ef49ed9e8d03ab3
+Subproject commit cf847c5bdfd0b6a876a5d6d15b0a343eec0286f9