diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 16b658dca..901efb43f 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 16b658dca695aad640e5a41bde067d2cfa75c058
+Subproject commit 901efb43f206a9dfaa235ae1ec1366a88c1e71ce