SuccessChanges

Summary

  1. Ensuring that const and static init functions have bodies. (commit: fad26f4) (details)
Commit fad26f4d98b1a984e206307dbfbe86821cae7082 by Victor Bandur
Ensuring that const and static init functions have bodies.
modified: 
src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java
modified:   src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt
(commit: fad26f4)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)