SuccessChanges

Summary

  1. Update RT transformation to replace RT nodes with empty blocks (commit: 81100c0) (details)
Commit 81100c0d658f900aecb2342f66557d66316e08f0 by Peter W. V. Tran-Jørgensen
Update RT transformation to replace RT nodes with empty blocks
(commit: 81100c0)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RemoveRTConstructs.java (diff)