SuccessChanges

Summary

  1. Type of the initial value of record initialization after conversion to (commit: 5aad932) (details)
Commit 5aad932b85bf71715fbc14be0cf0c25227f3c34f by Victor Bandur
Type of the initial value of record initialization after conversion to
classes.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java
(commit: 5aad932)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.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/transformations/RecordDefsToClassDefsTrans.java (diff)