Update core

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --git a/core b/core
index 852e640..fa25dc0 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 852e6400e7b7dbc0c0d4c8b4e72ca009954056cb
+Subproject commit fa25dc0b9d2d751562d60216467a298066141d16