Changes

Summary

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)
	core/vdm2c/src/test/resources/vdmrt/classes/ClassPublicFieldsTMP.vdmrt (diff)
	core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalConstInitFunctionTrans.java (diff)