diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 6830e0151..a1ce3bf68 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 6830e01516f28ddac63b0d255def04b151f1fa1e
+Subproject commit a1ce3bf686065bf8422dcc7f53c44323f680a334