1 files changed, 0 insertions, 15 deletions
diff --git a/src/dom/work/Main.java b/src/dom/work/Main.java
deleted file mode 100644
index d4d9177d3..000000000
--- a/src/dom/work/Main.java
+++ /dev/null
@@ -1,15 +0,0 @@
-import java.io.*;
-import antlr.*;
-
-public class Main {
-  public static void main(String[] args) {
-    try {
-      IDLLexer lexer = new IDLLexer(new DataInputStream(System.in));
-      IDLParser parser = new IDLParser(lexer);
-      parser.specification();
-    } catch(Exception e) {
-      System.err.println("exception: "+e);
-    }
-  }
-}
-