diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 32394f789..553cdd4bf 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 32394f789a81a5401d905689a5ea52a6634005f5 +Subproject commit 553cdd4bf872cc6cfb2308372fd115897cc2eb03