On 16/04/2012 13:14, Edwin Carlinet wrote:

* mln/core/alias/neighb2d.hh: Disable postcondition on neighborhood. --- milena/mln/core/alias/neighb2d.hh | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/milena/mln/core/alias/neighb2d.hh b/milena/mln/core/alias/neighb2d.hh index ee86509..642d112 100644 --- a/milena/mln/core/alias/neighb2d.hh +++ b/milena/mln/core/alias/neighb2d.hh @@ -233,7 +233,7 @@ namespace mln mlc_bool((2 * h + 1) * (2 * h + 1) == S)::check(); window2d& win = nbh.hook_win_(); convert::from_to(values, win); - mln_postcondition(win.is_neighbable_()); + //mln_postcondition(win.is_neighbable_());

Please do not do that. If some code is to be disabled, then it shall be removed, not left as dead code. If you are unsure about your change, use a dedicated branch. The version control system is precisely here to revert it if needed.