SuccessChanges

Summary

  1. -  Fix for vdmSetVarToGrowGC crash. -  Addresses #87. (commit: 2544afa) (details)
Commit 2544afafba8d00bf85b7552bb5a1852f0a3e5a38 by Victor Bandur
-  Fix for vdmSetVarToGrowGC crash. -  Addresses #87.
(commit: 2544afa)
The file was modifiedc/vdmclib/src/main/VdmSet.c (diff)