diff --git a/lib/external/pattern_language b/lib/external/pattern_language
index 181437874..0ed726bf6 160000
--- a/lib/external/pattern_language
+++ b/lib/external/pattern_language
@@ -1 +1 @@
-Subproject commit 1814378743ddeadc6d989fbbbdd57502c6fe7c26
+Subproject commit 0ed726bf602a3930e7587595693254d91670902f