SuccessChanges

Summary

  1. Add 'numFields' in the IR (commit: 2ff6056) (details)
The file was modifiedcore/vdm2c/src/main/resources/c-templates/org/overture/codegen/vdm2c/extast/declarations/AClassStateDeclIR.vm (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/AddFieldTrans.java (diff)