27 May
2008
27 May
'08
12:02 p.m.
Roland Levillain wrote:
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.
Ce n'est pas l'endroit où placer ces
commentaires !!!
Je sais. seulement l'envoi du message au moment du commit a echoue.
Au moment de poster je réalise ma faute est annonce le prochain patch.
désolé.
+
assert(this->is_unit());
Dans Milena, on utilise `mln_assertion' (cf. mln/core/contract.hh)
plutôt que `assert' directement.
Mais ici, c'est `mln_postcondition' que tu veux utiliser.