diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index a08841f3f..ae180a117 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit a08841f3f5df239af4eb70771410b21e191e919f
+Subproject commit ae180a117aa4513285ca6ef6072ac7de18447e61