X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=core;h=ef138fdcc27646d255cb98615c3e64724496c9bd;hb=bd4540a2512daf4e6219f2cf01a56e080a9e9aaa;hp=8adfe9565eeb5d25c3f2ba91bb6632f3836b7a78;hpb=aab2ffddfc8597dfce114b18c737b791e949b6ea;p=platal.git

diff --git a/core b/core
index 8adfe95..ef138fd 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 8adfe9565eeb5d25c3f2ba91bb6632f3836b7a78
+Subproject commit ef138fdcc27646d255cb98615c3e64724496c9bd