- tests/properties.cc: Fix bug to get compatibility with g++-3.3.
- mlc/bool.hh (ensure_item_<i, expr, check>): Rename as...
(check_item_<i, bexpr, result>): ...this.
(check_<bexpr, result>): New class dedicated to assert_.
(retrieve_ensure_): Remove.
(ASSERTION_FAILED_, AN_ASSERTION_FAILED_): New internal classes
mimicking respectively the old ensure_ and ensure_list_.
(no_error_message, no_bexpr): New classes.
(ensure_, ensure_list_): Rename as...
(assert_, multiple_assert_): ...these.
- mlc/pair.hh: Update.
- mlc/logic.hh: Update.
- mlc/valist.hh: Update.
- mlc/implies.hh: Update.
- mlc/is_a.hh: Update.
- mlc/cmp.hh: Update.


git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@409 4aad255d-cdde-0310-9447-f3009e2ae8c0