diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index b66aa316f..80a8ec544 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit b66aa316fc8b4982203c02ba963d8fd967b9d602
+Subproject commit 80a8ec544fc40fe5f0b7ced1f316034025e070df