SuccessChanges

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.
The file was modifiedc/vdmclib/src/main/VdmBasicTypes.h (diff)