SuccessChanges

Summary

  1. Fixed problem with tests introduced by record extraction to classes. (commit: b52a3b9) (details)
Commit b52a3b9e9ae5e7da364c24be8cffb1bde198e30b by Victor Bandur
Fixed problem with tests introduced by record extraction to classes.
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
modified: 
core/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt
(commit: b52a3b9)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff)
The file was modifiedcore/vdm2c/src/test/resources/vdmrt/expressions/ExpressionRecord.vdmrt (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)