diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index ae180a117..07e801d0e 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit ae180a117aa4513285ca6ef6072ac7de18447e61
+Subproject commit 07e801d0ebd99453c16c1256288f9fc5f628fd11