diff --git a/lib/external/pattern_language b/lib/external/pattern_language index e2d62dc6f..b020af259 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit e2d62dc6fe89b91aa52b72c73d406e2dc902d773 +Subproject commit b020af2590b660c6d843a693883867d689065656