Changes

Summary

1. -  Fixed memory leak in maps. -  Addresses #89. (commit: 654762d) (details)
2. -  Fixed memory leak in sets. -  Addresses #89. (commit: e237d81) (details)
3. -  Reverted memory leak fix in sets as it does not appear with generated (commit: 1a9e6e0) (details)

Commit 654762d6fe2b2d46275629c8a6d30a760f2493e6 by Victor Bandur -  Fixed memory leak in maps. -  Addresses #89. (commit: 654762d)
	c/vdmclib/src/main/VdmMap.c (diff)
Commit e237d81db992e81e9370e26d5bdedcac588cbb2d by Victor Bandur -  Fixed memory leak in sets. -  Addresses #89. (commit: e237d81)
	c/vdmclib/src/main/VdmSet.c (diff)
Commit 1a9e6e035ccfd607249d66fcb8858dbe514ada8f by Victor Bandur -  Reverted memory leak fix in sets as it does not appear with generated code. -  Addresses #89. (commit: 1a9e6e0)
	c/vdmclib/src/main/VdmSet.c (diff)