diff --git a/ARENA-core b/ARENA-core
index 38f873d..4f58675 160000
--- a/ARENA-core
+++ b/ARENA-core
@@ -1 +1 @@
-Subproject commit 38f873dfc3bd68abe7b4bbc8a0a292925288b45c
+Subproject commit 4f586754196f37e420a20fd1801704be5e0c2f8b