* mln/core/internal/site_relative_iterator_base.hh: Here. Signed-off-by: Roland Levillain &lt;roland(a)lrde.epita.fr&gt; --- milena/ChangeLog | 6 ++++++ milena/mln/core/internal/site_relative_iterator_base.hh | 3 ++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/milena/ChangeLog b/milena/ChangeLog index 7897b5e..a2e295e 100644 --- a/milena/ChangeLog +++ b/milena/ChangeLog @@ -1,3 +1,9 @@ +2012-10-02 Guillaume Lazzara &lt;z(a)lrde.epita.fr&gt; + + Fix a precondition (Trac ticket #256). + + * mln/core/internal/site_relative_iterator_base.hh: Here. + 2014-04-02 Roland Levillain &lt;roland(a)lrde.epita.fr&gt; Milena: Streamline mln/test/positive.cc. diff --git a/milena/mln/core/internal/site_relative_iterator_base.hh b/milena/mln/core/internal/site_relative_iterator_base.hh index 87b69b1..caa99e8 100644 --- a/milena/mln/core/internal/site_relative_iterator_base.hh +++ b/milena/mln/core/internal/site_relative_iterator_base.hh @@ -195,7 +195,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.10.4