Changes

Summary

1. -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses (details)

Commit 3ec2000ad7f3c81781560602a56900ed494862af by Victor Bandur -  Fixed bug with NO_IS exclusion mechanism for isOfClass. -  Addresses #108.
	c/vdmclib/src/main/VdmBasicTypes.h (diff)