Use correct version of core.
authorRaphaël Barrois <raphael.barrois@polytechnique.org>
Sat, 29 Jan 2011 19:52:25 +0000 (20:52 +0100)
committerRaphaël Barrois <raphael.barrois@polytechnique.org>
Sat, 29 Jan 2011 23:27:44 +0000 (00:27 +0100)
Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>
core

diff --git a/core b/core
index 31dc3dd..9261ede 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 31dc3dd3cdae22485061c3a1b6accdd732207dd4
+Subproject commit 9261ede012d3edda638f614494df31e876e8d758