update core.
authorRaphaël Barrois <raphael.barrois@polytechnique.org>
Tue, 15 Oct 2013 21:08:43 +0000 (23:08 +0200)
committerRaphaël Barrois <raphael.barrois@polytechnique.org>
Tue, 15 Oct 2013 21:08:43 +0000 (23:08 +0200)
core

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