X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=core;h=75b5406387c0c362517dd905d561f7b616dddc96;hb=7937d89ecfc74726af9ae64d9211d53e6bbcc4e5;hp=c478640f940abe008fdcee0a9f04ea99faf50a22;hpb=2c58f1df7e272b68b937afd3fd9f6be08ebc2153;p=platal.git

diff --git a/core b/core
index c478640..75b5406 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit c478640f940abe008fdcee0a9f04ea99faf50a22
+Subproject commit 75b5406387c0c362517dd905d561f7b616dddc96