Changes

Summary

1. Fix grow mechanism for sequences #106 (commit: f591a3c) (details)

Commit f591a3c9c1cc08f8eea7e019b7a3453b88448094 by Peter W. V. Tran-Jørgensen Fix grow mechanism for sequences #106 (commit: f591a3c)
	c/vdmclib/src/main/TypedValue.c (diff)
	c/vdmclib/src/main/VdmSeq.c (diff)
	c/vdmclib/src/main/TypedValue.h (diff)