--- 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@lrde.epita.fr> + + * mln/core/internal/site_relative_iterator_base.hh: Fix a + precondition (ticket #256). + 2011-11-29 Guillaume Lazzara <z@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