SuccessChanges

Summary

  1. Fix grow mechanism for sequences #106 (commit: f591a3c) (details)
The file was modifiedc/vdmclib/src/main/TypedValue.c (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)