diff --git a/core b/core
index 8efc7d54e..a9e31b813 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 8efc7d54e7249daa143927a59c1e16d51a9a78a5
+Subproject commit a9e31b8133139a39b5ed8839a7026278f009f3fe