Changes
Summary
- Fix issue with include directives in main.c (commit: b0861b3) (details)
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff) |
![]() | ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java (diff) |