SuccessChanges

Summary

  1. modified: (commit: ceb5cb2) (details)
Commit ceb5cb2d30015e8f68d34417fd6982c8b98e5951 by Victor Bandur
	modified:  
core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java
(commit: ceb5cb2)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/CTransSeries.java (diff)