diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 477228fa1..3e98b047c 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 477228fa1d8f38b66c89d8f403619fe89cef3d6c +Subproject commit 3e98b047c52c07bb1816bd0936f561ce7797469d