diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 9dd2c0cf0..ba190cb5d 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 9dd2c0cf03b6d992b78ad99d002af346230abb11
+Subproject commit ba190cb5de1db4c46a2d759fab5d7727e3b71820