1 files changed, 87 insertions, 0 deletions
diff --git a/test/spass/iaparser.h b/test/spass/iaparser.h
new file mode 100644
index 0000000..32fb093
--- /dev/null
+++ b/test/spass/iaparser.h
@@ -0,0 +1,87 @@
+/* A Bison parser, made from iaparser.y, by GNU bison 1.75.  */
+
+/* Skeleton parser for Yacc-like parsing with Bison,
+   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software Foundation, Inc.
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2, or (at your option)
+   any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 59 Temple Place - Suite 330,
+   Boston, MA 02111-1307, USA.  */
+
+/* As a special exception, when this file is copied by Bison into a
+   Bison output file, you may use that output file without restriction.
+   This special exception was added by the Free Software Foundation
+   in version 1.24 of Bison.  */
+
+#ifndef BISON_IAPARSER_H
+# define BISON_IAPARSER_H
+
+/* Tokens.  */
+#ifndef YYTOKENTYPE
+# define YYTOKENTYPE
+   /* Put the tokens into the symbol table, so that GDB and other debuggers
+      know about them.  */
+   enum yytokentype {
+     IA_AND = 258,
+     IA_EQUAL = 259,
+     IA_EQUIV = 260,
+     IA_EXISTS = 261,
+     IA_FALSE = 262,
+     IA_FORALL = 263,
+     IA_IMPLIED = 264,
+     IA_IMPLIES = 265,
+     IA_NOT = 266,
+     IA_OR = 267,
+     IA_PROVE = 268,
+     IA_TRUE = 269,
+     IA_NUM = 270,
+     IA_ID = 271
+   };
+#endif
+#define IA_AND 258
+#define IA_EQUAL 259
+#define IA_EQUIV 260
+#define IA_EXISTS 261
+#define IA_FALSE 262
+#define IA_FORALL 263
+#define IA_IMPLIED 264
+#define IA_IMPLIES 265
+#define IA_NOT 266
+#define IA_OR 267
+#define IA_PROVE 268
+#define IA_TRUE 269
+#define IA_NUM 270
+#define IA_ID 271
+
+
+
+
+#ifndef YYSTYPE
+#line 113 "iaparser.y"
+typedef union {
+  int       number;
+  char*     string;
+  SYMBOL    symbol;
+  TERM      term;
+  LIST      list;
+} yystype;
+/* Line 1281 of /opt/gnu//share/bison/yacc.c.  */
+#line 80 "iaparser.h"
+# define YYSTYPE yystype
+#endif
+
+extern YYSTYPE ia_lval;
+
+
+#endif /* not BISON_IAPARSER_H */
+