Jonathan M Davis: > What's odder is that the invariant is run after the > precondition. That shouldn't be necessary, since any changes to the object would > have been verifed after the last time that a public member function was called. They may contain different tests. Bye, bearophile