diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 73bb22dac..b1d3c0e8b 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 73bb22dacf641d47b5baa9cdf8eb5cebb213d371
+Subproject commit b1d3c0e8b93a3cdf61b3509f30ea3a09506d13f8