diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 0bc05cacc..86c893637 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 0bc05caccb46082b8456444668c574e1c13f4bd1
+Subproject commit 86c893637fcd9b45dc134c3b4d25533f36a7842e