SuccessChanges

Summary

  1. Fixed error with return type of constructor for record-to-class (commit: dfe6ebb) (details)
Commit dfe6ebb780cd48a978586c4e86e807bcd4c9826e by Victor Bandur
Fixed error with return type of constructor for record-to-class
conversion class.
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
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java
(commit: dfe6ebb)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordsToClassesTrans.java (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java (diff)