Hans-Eric Grönlund wrote: > Is this paragraph in the Contract Programming section of the specification valid? > > "If a function in a derived class overrides a function in its super class, then only one of the in contracts of the function and its base functions must be satisfied." It's supposed to be, but that feature has not yet been implemented. Sean