Changes
Summary
- Fix field look-up in FieldReadToFieldGetMacroTrans (commit: 8825ab3) (details)
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff) |
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldReadToFieldGetMacroTrans.java (diff) |