diff --git a/externals/WALA b/externals/WALA
index 7bbb862..06741a0 160000
--- a/externals/WALA
+++ b/externals/WALA
@@ -1 +1 @@
-Subproject commit 7bbb86292dba532b68b34b30bbd86f4564aaa34e
+Subproject commit 06741a014e9d3a8d973bbdcf4ea44461b74b55e6