diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 54260bd8a..95426334e 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 54260bd8aec041d45b8da0a0ff59f47279d91ebc +Subproject commit 95426334eef96700035158efa85f540b3a446b18