From 2abd5e3866e6930b5d38c0f65daaa718af20b5d7 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Tue, 15 Oct 2013 23:08:43 +0200
Subject: [PATCH] update core.

---
 core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core b/core
index c80c472..7196da2 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit c80c472d71d62a56289b6d0c29a00be9cdcd4389
+Subproject commit 7196da2f6d88f876b8bd082497abe4c8170c65fd
-- 
2.1.4