diff --git a/core b/core
index bfbb6267..f72f7252 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit bfbb6267d14b8b59a7d0b5593bc4b5958dbb3680
+Subproject commit f72f7252c1aa15b3f28f8d01a558c03d254b4835