Issue 7526: ’element’ should be ’elements’ (02) (ocl2-rtf) Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl) Nature: Uncategorized Issue Severity: Summary: 18. -- [1] All elements belonging to a set value have unique values. inv: self.element->isUnique(e : Element | e.value) ==> missing context statement: context SetTypeValue ==> ’element’ should be ’elements’ Resolution: Revised Text: Actions taken: June 10, 2004: received issue Discussion: End of Annotations:===== s is issue # 7526 .element. should be .elements. (02) 18. -- [1] All elements belonging to a set value have unique values. inv: self.element->isUnique(e : Element | e.value) ==> missing context statement: context SetTypeValue ==> .element. should be .elements.