From d2065f1ddff65f8987d498de4b51cfe62b594a89 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rapha=C3=ABl=20Barrois?= <raphael.barrois@polytechnique.org>
Date: Mon, 22 Mar 2010 13:50:26 +0100
Subject: [PATCH] Update core (for PlEmptyIterator)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Raphaël Barrois <raphael.barrois@polytechnique.org>
---
 core | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core b/core
index b250640..c291ca5 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit b250640ade6f86e0a4fb89b0308c79ef058f72ff
+Subproject commit c291ca5486bce705cd3dfd81065cbd2d92b96da5
-- 
2.1.4