Roland Levillain wrote:

Ce n'est pas l'endroit où placer ces commentaires !!!

...

+ assert(this->is_unit());

Dans Milena, on utilise `mln_assertion' (cf. mln/core/contract.hh)

Au moment de poster je réalise ma faute est annonce le prochain patch. désolé. plutôt que `assert' directement.

Mais ici, c'est `mln_postcondition' que tu veux utiliser.

J'imagine que tu as vu que le patch suivant r1916 fait ce que tu demande. l'erreur a mit 4 min a être corrigée! je pense que je mérite pas la mort.