Changes

Summary

1. -  Committing omitted header file. -  Addresses #126. (details)

Commit b81cce8059ce38bfd412584eb2147f7a2da82c9c by Victor Bandur -  Committing omitted header file. -  Addresses #126.
	c/vdmclib/src/main/VdmSet.h (diff)