diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 34d6ad5f0..f3c0f8ea2 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 34d6ad5f02c17adfa5e577a2b31b473f8c6d321f
+Subproject commit f3c0f8ea25d56e422745a422c5659bc43875584d