tests/org.eclipse.ocl.examples.xtext.tests/models/oclinecore/Bug328480.oclinecore

package bug328040 : bug = 'http://www.eclipse.org/mdt/ocl/bug328040'
{
	class Bug328040
	{
		invariant Self: self->size() = 1;
	}
}