diff --git a/lib/external/pattern_language b/lib/external/pattern_language index 37b4bc7f2..e5472c11e 160000 --- a/lib/external/pattern_language +++ b/lib/external/pattern_language @@ -1 +1 @@ -Subproject commit 37b4bc7f2c0c342b6c70e6757d402aceb0d4a35b +Subproject commit e5472c11eb949ccb675614be6bc3bd80ef1df6c5