clean code

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/ClassBeginConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/ClassBeginConstruct.java
deleted file mode 100644 (file)
index 4565015..0000000
--- a/src/edu/uci/eecs/specCompiler/specExtraction/ClassBeginConstruct.java
+++ /dev/null
@@ -1,13 +0,0 @@
-package edu.uci.eecs.specCompiler.specExtraction;
-
-import java.io.File;
-
-public class ClassBeginConstruct extends Construct {
-       public ClassBeginConstruct(File file, int beginLineNum) {
-               super(file, beginLineNum);
-       }
-
-       public String toString() {
-               return "@Class_begin";
-       }
-}