diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index a6a58d794..b31e19dc7 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit a6a58d79491c2a5a9cf37cb6dd9bd750cfa2c8e4
+Subproject commit b31e19dc7a55c824573f5e8c9df986469681b5b2