Changes

Summary

1. -  Fix for vdmSetVarToGrowGC crash. -  Addresses #87. (commit: 2544afa) (details)

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