SuccessChanges

Summary

  1. Cleanup. (commit: 13535ff) (details)
The file was modifiedc/vdmclib/src/main/VdmGC.c (diff)