X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=src%2Fedu%2Fuci%2Feecs%2FspecCompiler%2FspecExtraction%2FInterfaceDefineConstruct.java;h=657b2707d2924f6b7d559eca3bab76b9384b7925;hp=8231c184a60fe07003974e7577ad105071bb3c5a;hb=541ee814ad10bc181abd4d8825397249c6f86ad7;hpb=1d4b1988dce853be3a027adca7e5cd0d61b4855a

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
index 8231c18..657b270 100644
--- a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
@@ -4,7 +4,6 @@ import java.io.File;
 
 public class InterfaceDefineConstruct extends Construct {
 	public final String name;
-	private String funcDecl;
 
 	public InterfaceDefineConstruct(File file, int beginLineNum, String name) {
 		super(file, beginLineNum);