X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=core;h=0ef5bd4bceb37a6ed6a1afb719d403f25c71ef02;hb=07eb5b0e8b0a50e245fad68758c8f78e89806103;hp=b5e56a710b4bf25ed7b186c2cb9ea6e822db8fa3;hpb=f476ca600ff3a354d2a3c93a1a7014e532d463f4;p=platal.git

diff --git a/core b/core
index b5e56a7..0ef5bd4 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit b5e56a710b4bf25ed7b186c2cb9ea6e822db8fa3
+Subproject commit 0ef5bd4bceb37a6ed6a1afb719d403f25c71ef02