X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=src%2Fedu%2Fuci%2Feecs%2FspecCompiler%2FcodeGenerator%2FCodeVariables.java;h=e6dfc1dae68cb5aef131ca6fc9520c5ef9fccee2;hp=f98250d6e163637c1efa2b45aa166c7b1112e99e;hb=541ee814ad10bc181abd4d8825397249c6f86ad7;hpb=ab51330e8c0c515221db828346729de2176e9e01

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeVariables.java b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeVariables.java
index f98250d..e6dfc1d 100644
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/CodeVariables.java
+++ b/src/edu/uci/eecs/specCompiler/codeGenerator/CodeVariables.java
@@ -482,7 +482,6 @@ public class CodeVariables {
 		String interfaceName = construct.name;
 		// Generate necessary header file (might be redundant but never mind)
 		newCode.add(INCLUDE(HEADER_STDLIB));
-		newCode.add(INCLUDE(HEADER_THREADS));
 		newCode.add(INCLUDE(HEADER_CDSANNOTATE));
 		newCode.add(INCLUDE(HEADER_SPECANNOTATION));
 		newCode.add(INCLUDE(HEADER_SPEC_LIB));
@@ -596,6 +595,7 @@ public class CodeVariables {
 		return newCode;
 	}
 
+	// Rename the interface depending on if it's declaration or definition
 	public static void renameInterface(SemanticsChecker semantics,
 			Construct construct) {
 		FunctionHeader header = getFunctionHeader(semantics, construct);