remove/shuffle some #include dependencies; fix some documentation; apply coding standards

3 files changed, 10 insertions, 8 deletions

diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h
index b63f39d78..2e0af677e 100644
--- a/src/parser/parser_builder.h
+++ b/src/parser/parser_builder.h
@@ -18,8 +18,8 @@
 
 #include "cvc4parser_public.h"
 
-#ifndef __CVC4__PARSER__PARSER_BUILDER_H_
-#define __CVC4__PARSER__PARSER_BUILDER_H_
+#ifndef __CVC4__PARSER__PARSER_BUILDER_H
+#define __CVC4__PARSER__PARSER_BUILDER_H
 
 #include <string>
 
@@ -31,8 +31,8 @@ namespace CVC4 {
 class ExprManager;
 
 namespace parser {
-/*
 
+/*
 class InputBuilder {
 protected:
   InputLanguage d_lang;
@@ -126,9 +126,9 @@ public:
 
   /** Set the parser to use the given string for its input. */
   ParserBuilder& withStringInput(const std::string& input);
-};
+};/* class ParserBuilder */
 
-} /* namespace parser */
+}/* CVC4::parser namespace */
+}/* CVC4 namespace */
 
-} /* namespace CVC4 */
-#endif /* __CVC4__PARSER__PARSER_BUILDER_H_ */
+#endif /* __CVC4__PARSER__PARSER_BUILDER_H */
diff --git a/src/parser/smt/smt.cpp b/src/parser/smt/smt.cpp
index 1bb8f0679..da352c226 100644
--- a/src/parser/smt/smt.cpp
+++ b/src/parser/smt/smt.cpp
@@ -16,9 +16,10 @@
 
 #include <ext/hash_map>
 namespace std {
-using namespace __gnu_cxx;
+  using namespace __gnu_cxx;
 }
 
+#include "expr/type.h"
 #include "parser/parser.h"
 #include "parser/smt/smt.h"
 
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp
index 23879fda8..e704d027d 100644
--- a/src/parser/smt2/smt2.cpp
+++ b/src/parser/smt2/smt2.cpp
@@ -16,6 +16,7 @@
  ** Definitions of SMT2 constants.
  **/
 
+#include "expr/type.h"
 #include "parser/parser.h"
 #include "parser/smt/smt.h"
 #include "parser/smt2/smt2.h"