Update core

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

diff --git a/core b/core
index f23d33e..b00a702 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit f23d33e1b114e9032b4b966baebdeb14b4215313
+Subproject commit b00a702a623367b9647e12732a2533f65871cf3c