27 May
2008
27 May
'08
12:02 p.m.
Roland Levillain wrote:
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.
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.