SuccessChanges

Summary

  1. -  Not using GC-aware assignments in class fields. -  Addresses #89. (commit: 05cd099) (details)
Commit 05cd099810e2621060d64efa63aa13c2bc8dd912 by Victor Bandur
-  Not using GC-aware assignments in class fields. -  Addresses #89.
(commit: 05cd099)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)