Update core

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

diff --git a/core b/core
index cb22cf2..8854104 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit cb22cf2a3b34e4f263dcfb6b51396111f8d6b785
+Subproject commit 88541046480799a8d92eba186f22e22c0c64efb0