Changes

Summary

1. -  Addition of newSeqVarToGrowGC. -  Addresses #125. (commit: 9a04c62) (details)

Commit 9a04c6248a1e7b5149c4949657f63305fd4500c6 by Victor Bandur -  Addition of newSeqVarToGrowGC. -  Addresses #125. (commit: 9a04c62)
	c/vdmclib/src/main/TypedValue.c (diff)
	c/vdmclib/src/main/VdmSeq.c (diff)