1 files changed, 27 insertions, 0 deletions
diff --git a/src/parser/parser_options.h b/src/parser/parser_options.h
new file mode 100644
index 000000000..ddba219a4
--- /dev/null
+++ b/src/parser/parser_options.h
@@ -0,0 +1,27 @@
+/*
+ * parser_options.h
+ *
+ *  Created on: Mar 3, 2010
+ *      Author: chris
+ */
+
+#ifndef CVC4__PARSER__PARSER_OPTIONS_H_
+#define CVC4__PARSER__PARSER_OPTIONS_H_
+
+namespace CVC4 {
+namespace parser {
+
+  /** The input language option */
+  enum InputLanguage {
+    /** The SMTLIB input language */
+    LANG_SMTLIB,
+    /** The CVC4 input language */
+    LANG_CVC4,
+    /** Auto-detect the language */
+    LANG_AUTO
+  };
+
+}
+}
+
+#endif /* CVC4__PARSER__PARSER_OPTIONS_H_ */