lots of changes

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / Construct.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java b/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java
index 373948ba6f83aeecea75e29456d06792c891da42..0f42b058b73deb801e0b16167d00075242c15cb8 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/Construct.java
@@ -13,17 +13,9 @@ import java.io.File;
 abstract public class Construct {
        public final File file;
        public final int beginLineNum;
-       public final String interfaceDeclBody;
 
        public Construct(File file, int beginLineNum) {
                this.file = file;
                this.beginLineNum = beginLineNum;
-               this.interfaceDeclBody = "";
-       }
-
-       public Construct(File file, int beginLineNum, String interfaceDeclBody) {
-               this.file = file;
-               this.beginLineNum = beginLineNum;
-               this.interfaceDeclBody = interfaceDeclBody;
        }
 }