diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index c2d811895..01241af21 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit c2d811895fc8173e12f604df4425fe7ddf7e604d
+Subproject commit 01241af21466494b2e298c02111aeff2a6ac91c3