diff --git a/ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java b/ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java index a7a1d2e1..6b478013 100644 --- a/ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java +++ b/ide/cgen/src/main/java/org/overture/ide/plugins/cgen/generator/CGenerator.java @@ -65,6 +65,7 @@ public void generate(File cCodeOutputFolder) throws CoreException, //Emit empty main.c file so that the generated project compiles. emitMainFile(new File(cCodeOutputFolder + File.separator + "main.c")); + //Emit file containing the mapping between model names and mangled names as #defines. emitMangledNamesHeaderFile(new File(cCodeOutputFolder + File.separator + "MangledNames.h"));