diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 66d3a0594..5d23cf6e8 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 66d3a0594888c85340f0c61f8b5a7cac9e1b163f
+Subproject commit 5d23cf6e8548032d80ee43d89beb6b2d3855d1f7