diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 0342fd520..9aea9ed97 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 0342fd520913439fcb7accaf555abe618d9c7bed
+Subproject commit 9aea9ed97d7623684b7ad637f60dd2f64451a396