diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index a06da46a3..f213e0a6f 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit a06da46a3cf1694ccc785d21a37a2dca08deb56a
+Subproject commit f213e0a6f08638586999c790692f7c04935d155a