diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 3855f22c2..3dff4201d 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 3855f22c2381783a8709663fc3aaa6d6899e69b1
+Subproject commit 3dff4201d41efc7e0ebfdebc83d355bd6a5159c5