X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=src%2Fedu%2Fuci%2Feecs%2FspecCompiler%2FspecExtraction%2FEntryPointConstruct.java;fp=src%2Fedu%2Fuci%2Feecs%2FspecCompiler%2FspecExtraction%2FEntryPointConstruct.java;h=0000000000000000000000000000000000000000;hp=2d1356161a54d8295d6b5492181e613b36972c29;hb=1c06bc88ba6f7c5882d726207fa6e05e734cb1bd;hpb=c46d1e2c3835a9c637375a79b82fb36bf96116c7

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