diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 42a6996cc..c9f3ee375 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 42a6996ccd1d5f8c9b37a4602aed4fa07c702965
+Subproject commit c9f3ee3754a861f5a3ddd413ea3d8bcd1f35fe09