diff --git a/externals/WALA b/externals/WALA index dd3409e..e8ea361 160000 --- a/externals/WALA +++ b/externals/WALA @@ -1 +1 @@ -Subproject commit dd3409e1abad920751291a2c1d90f92b3fff69be +Subproject commit e8ea3615d13e73a5cc6a223d36e14185e0d88009