SuccessChanges

Summary

  1. -  Fixed memory leak in sets. -  Addresses #89. (commit: 0d35a8e) (details)
Commit 0d35a8e5c697295938b688ad52f743d4e14a08e5 by Victor Bandur
-  Fixed memory leak in sets. -  Addresses #89.
(commit: 0d35a8e)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)