SuccessChanges

Summary

  1. -  Added missing function declaration. -  Addresses #125. (commit: fa0cab8) (details)
Commit fa0cab8373d8c98584ba337a7b34fcd38440d3d3 by Victor Bandur
-  Added missing function declaration. -  Addresses #125.
(commit: fa0cab8)
The file was modifiedc/vdmclib/src/main/VdmSeq.h (diff)
The file was modifiedc/vdmclib/src/main/TypedValue.h (diff)
The file was modifiedc/vdmclib/src/main/VdmSeq.c (diff)