diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 456dd11fc..e124e6768 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 456dd11fc74b12630c1c7679862cb665e741c4d0
+Subproject commit e124e676892ea4875f7b3180a52b553a0faf93ff