SuccessChanges

Summary

  1. Forgot to emit non-empty body for static init functions. (commit: 67c12fe) (details)
Commit 67c12fe495bfbd5ef12fbdb2c2d1cce8a7b21874 by Victor Bandur
Forgot to emit non-empty body for static init functions.
modified: 
vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java
(commit: 67c12fe)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/CreateGlobalStaticInitFunctionTrans.java (diff)