X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=core;h=a797e4f7daf5fbcc9b12f64c298e9aa4df0f0acc;hb=d8981eb214a4145a49bc8dbbdce136c524484c2d;hp=ef815e754cee390b7503d848cf753f0cef328d6b;hpb=8448002275a1ac653830cdcaca1b0e6e32b356d2;p=platal.git

diff --git a/core b/core
index ef815e7..a797e4f 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit ef815e754cee390b7503d848cf753f0cef328d6b
+Subproject commit a797e4f7daf5fbcc9b12f64c298e9aa4df0f0acc