SuccessChanges

Summary

  1. Feature to extract inner type from an optional type. (commit: 9da2bb0) (details)
Commit 9da2bb004dae81e91ca37978f0fccab0102f24b8 by Victor Bandur
Feature to extract inner type from an optional type.
modified:   core/vdm2c/ExternalTests.launch
modified: 
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java
(commit: 9da2bb0)
The file was modifiedcore/vdm2c/ExternalTests.launch (diff)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CallRewriteTrans.java (diff)