SuccessChanges

Summary

  1. Small change to test model for next field access feature, access to (commit: d7ffd1d) (details)
Commit d7ffd1da922b3bdde46e5155d5e57efab6c39e16 by Victor Bandur
Small change to test model for next field access feature, access to
public fields of instances.
modified: 
src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
(commit: d7ffd1d)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)