diff --git a/lib/external/pattern_language b/lib/external/pattern_language index c2f87962b..b351fa711 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit c2f87962bce40901036bbc1f8f4afc3d2f4a1ea0 +Subproject commit b351fa71165e2efcc572564bd66d5d1155a65b6f