1 files changed, 15 insertions, 20 deletions
diff --git a/src/parser/parser_options.h b/src/parser/parser_options.h
index ddba219a4..ae1d99542 100644
--- a/src/parser/parser_options.h
+++ b/src/parser/parser_options.h
@@ -1,27 +1,22 @@
-/*
- * parser_options.h
- *
- *  Created on: Mar 3, 2010
- *      Author: chris
- */
+#include "cvc4_public.h"
 
-#ifndef CVC4__PARSER__PARSER_OPTIONS_H_
-#define CVC4__PARSER__PARSER_OPTIONS_H_
+#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
-  };
+/** The input language option */
+enum InputLanguage {
+  /** The SMTLIB input language */
+  LANG_SMTLIB,
+  /** The CVC4 input language */
+  LANG_CVC4,
+  /** Auto-detect the language */
+  LANG_AUTO
+};/* enum InputLanguage */
 
-}
-}
+}/* CVC4::parser namespace */
+}/* CVC4 namespace */
 
-#endif /* CVC4__PARSER__PARSER_OPTIONS_H_ */
+#endif /* __CVC4__PARSER__PARSER_OPTIONS_H */