SuccessChanges

Summary

  1. Build against Overture 2.5.0 (commit: 78906f4) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff)
The file was modifiedpom.xml (diff)