Formatting in emitted main.c file.

overturetool · Dec 2, 2016 · 91e974f · 91e974f
1 parent 060643a
commit 91e974f
Showing 1 changed file with 4 additions and 4 deletions.
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
@@ -295,10 +295,10 @@ private void emitMainFile(File outfile)
 		{
 			for(SClassDefinition dcl : vdmProject.getModel().getClassList())
 			{
-				constInitCalls = constInitCalls + dcl.getName().getName() + "_const_init();\n";
-				constShutdownCalls = constShutdownCalls + dcl.getName().getName() + "_const_shutdown();\n";
-				staticInitCalls = staticInitCalls + dcl.getName().getName() + "_static_init();\n";
-				staticShutdownCalls = staticShutdownCalls + dcl.getName().getName() + "_static_shutdown();\n";
+				constInitCalls = constInitCalls + "\t" + dcl.getName().getName() + "_const_init();\n";
+				constShutdownCalls = constShutdownCalls + "\t" + dcl.getName().getName() + "_const_shutdown();\n";
+				staticInitCalls = staticInitCalls + "\t" + dcl.getName().getName() + "_static_init();\n";
+				staticShutdownCalls = staticShutdownCalls + "\t" + dcl.getName().getName() + "_static_shutdown();\n";
 				includes = includes + "#include \"" + dcl.getName().getName() + ".h\"\n";
 			}
 		} catch(NotAllowedException e)