---
milena/ChangeLog | 5 +++++
.../core/internal/site_relative_iterator_base.hh | 3 ++-
2 files changed, 7 insertions(+), 1 deletions(-)
diff --git a/milena/ChangeLog b/milena/ChangeLog
index b977679..9306422 100644
--- a/milena/ChangeLog
+++ b/milena/ChangeLog
@@ -1,3 +1,8 @@
+2012-10-02 Guillaume Lazzara <z(a)lrde.epita.fr>
+
+ * mln/core/internal/site_relative_iterator_base.hh: Fix a
+ precondition (ticket #256).
+
2011-11-29 Guillaume Lazzara <z(a)lrde.epita.fr>
Fix the initialization of all global constants (ticket #43)
diff --git a/milena/mln/core/internal/site_relative_iterator_base.hh b/milena/mln/core/internal/site_relative_iterator_base.hh
index 4d9567f..170e733 100644
--- a/milena/mln/core/internal/site_relative_iterator_base.hh
+++ b/milena/mln/core/internal/site_relative_iterator_base.hh
@@ -190,7 +190,8 @@ namespace mln
const mln_psite(S)&
site_relative_iterator_base<S,E,C>::subj_()
{
- mln_assertion(exact(this)->compute_p_() == p_);
+ // valid => exact(this)->compute_p_() == p_
+ mln_assertion(!this->is_valid() || exact(this)->compute_p_() == p_);
return p_;
}
--
1.7.2.5
