diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index cc0b92984..3f112c02b 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit cc0b929842548557d9a2c30f01247b972db65c4e
+Subproject commit 3f112c02bb78a134f5814d536df9d1430c9e42d5