1 files changed, 0 insertions, 118 deletions
diff --git a/stp/AST/ASTKind.cpp b/stp/AST/ASTKind.cpp
deleted file mode 100644
index 9a2392c9..00000000
--- a/stp/AST/ASTKind.cpp
+++ /dev/null
@@ -1,118 +0,0 @@
-// Generated automatically by genkinds.h from ASTKind.kinds Sun Apr  4 19:39:09 2010.
-// Do not edit
-namespace BEEV {
-const char * _kind_names[] =  {
-   "UNDEFINED",
-   "SYMBOL",
-   "BVCONST",
-   "BVNEG",
-   "BVCONCAT",
-   "BVOR",
-   "BVAND",
-   "BVXOR",
-   "BVNAND",
-   "BVNOR",
-   "BVXNOR",
-   "BVEXTRACT",
-   "BVLEFTSHIFT",
-   "BVRIGHTSHIFT",
-   "BVSRSHIFT",
-   "BVVARSHIFT",
-   "BVPLUS",
-   "BVSUB",
-   "BVUMINUS",
-   "BVMULTINVERSE",
-   "BVMULT",
-   "BVDIV",
-   "BVMOD",
-   "SBVDIV",
-   "SBVMOD",
-   "BVSX",
-   "BOOLVEC",
-   "ITE",
-   "BVGETBIT",
-   "BVLT",
-   "BVLE",
-   "BVGT",
-   "BVGE",
-   "BVSLT",
-   "BVSLE",
-   "BVSGT",
-   "BVSGE",
-   "EQ",
-   "NEQ",
-   "FALSE",
-   "TRUE",
-   "NOT",
-   "AND",
-   "OR",
-   "NAND",
-   "NOR",
-   "XOR",
-   "IFF",
-   "IMPLIES",
-   "READ",
-   "WRITE",
-   "ARRAY",
-   "BITVECTOR",
-   "BOOLEAN",
-};
-
-unsigned char _kind_categories[] = {
-   0,
-   3,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   1,
-   3,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   2,
-   1,
-   1,
-   0,
-   0,
-   0,
-};
-
-}  // end namespace