diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 8cab733ce8632..525efe6e6e621 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 8cab733ce8632422e5f573a4912db8bddd43cb05 +Subproject commit 525efe6e6e621dc50d25deb6e1d0f1cf860a683f