X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=src%2Fedu%2Fuci%2Feecs%2FspecCompiler%2FcodeGenerator%2FCodeGenerator.java;h=af9bde4887b43c8b5f020bb60265ca8cac044b2a;hp=93dae994a61539f741c9b1aa0bab5c511db11bdd;hb=86a369048fdc607fb908cf5ff88f8af20579cffa;hpb=5e4f08e27cd3c912c25d8131543f8709b7d1a217

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
index 93dae99..af9bde4 100644
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java
@@ -254,11 +254,6 @@ public class CodeGenerator {
 		// }
 
 		// Sort code additions
-		HashSet<String> headers = CodeVariables.getAllHeaders(_semantics);
-		ArrayList<String> headerCode = new ArrayList<String>();
-		for (String header : headers) {
-			headerCode.add("#include " + header);
-		}
 		for (File file : codeAdditions.keySet()) {
 			ArrayList<CodeAddition> additions = codeAdditions.get(file);
 
@@ -269,12 +264,8 @@ public class CodeGenerator {
 			// Insert generated annotation to the source files
 			ArrayList<String> newContent = insertAnnotation2Src(additions,
 					content);
-			ArrayList<String> finalContent = new ArrayList<String>(
-					headerCode.size() + newContent.size());
-			finalContent.addAll(headerCode);
-			finalContent.addAll(newContent);
 			// Write it back to file
-			ParserUtils.write2File(file, finalContent);
+			ParserUtils.write2File(file, newContent);
 		}
 	}