Update core (for PlEmptyIterator)
[platal.git] / core
diff --git a/core b/core
index b250640..c291ca5 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit b250640ade6f86e0a4fb89b0308c79ef058f72ff
+Subproject commit c291ca5486bce705cd3dfd81065cbd2d92b96da5