Changes

Summary

1. Reverted "Cleanup" commit causing failure on build server. (commit: dfa0abc) (details)

Commit dfa0abc7b067ef83da1577bfe4ca4f78bbb882ea by Victor Bandur Reverted "Cleanup" commit causing failure on build server. (commit: dfa0abc)
	c/vdmclib/src/main/VdmGC.c (diff)