SuccessChanges

Summary

  1. -  Fixed memory leak in maps. -  Addresses #87. (commit: 4145e1a) (details)
Commit 4145e1ae23db3d5592a48c6882b4174008de326a by Victor Bandur
-  Fixed memory leak in maps. -  Addresses #87.
(commit: 4145e1a)
The file was modifiedc/vdmclib/src/main/VdmMap.c (diff)