diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 0c3954bfd..13d92f5d2 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 0c3954bfdd06a0db883a429589f7d4c147bb0879
+Subproject commit 13d92f5d2d8e8f039d8e3c21ba13ccfc5538c0cc