diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 99f3be2cc..23ec4e4ef 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 99f3be2cc26632fcfb68f53d2fcd3baf0b8c6387 +Subproject commit 23ec4e4ef18d55b7201363b3b3ce8ab8635599b8