diff --git a/src/core b/src/core
index ed10e0fc..b1351835 160000
--- a/src/core
+++ b/src/core
@@ -1 +1 @@
-Subproject commit ed10e0fc9f4b98ad2b677c8862f5cc817a5560ba
+Subproject commit b1351835673f86d445d244fd515560bfcd0b7adb