diff --git a/src/core b/src/core
index 934d336b..85d0256d 160000
--- a/src/core
+++ b/src/core
@@ -1 +1 @@
-Subproject commit 934d336bbdd2ac59a2b5d025bf4c0d7b2879bf54
+Subproject commit 85d0256dbcc9cf0d1773da3f10cfc180be1ab56b