SuccessChanges

Summary

  1. Add missing 'clone' call (commit: e82caef) (details)
  2. Add missing type to constructor call (commit: c68626a) (details)
  3. Approximate macro expression type (commit: 4b9b64c) (details)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/utils/CTransUtil.java (diff)