diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 3182c3119..df5f35b49 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 3182c311998b0e7a644daa56c2ec49a21f51aaf4
+Subproject commit df5f35b49d99ab91786edeb04c077d88e057c1ba