diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 24456df32..67540ef3c 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 24456df3284af42b5589099d67f56648a8a50092 +Subproject commit 67540ef3cbeb8f78fb3427a33f52f52625f08578