SuccessChanges

Summary

  1. -  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90. (commit: eb2e5c8) (details)
Commit eb2e5c8d450ab0b9f1eca09e283a97af4e137de1 by Victor Bandur
-  Fixed allocation bug in vdmSeqVarToGrow. -  Addresses #90.
(commit: eb2e5c8)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)