diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index c807dad23..225db3bda 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit c807dad236754088f336026e809722a38230868c
+Subproject commit 225db3bdac60e8e64e273daebe812e52216306f5