1 files changed, 16 insertions, 18 deletions

diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp
index 5c755b5f6..c17956e62 100644
--- a/src/parser/parser_builder.cpp
+++ b/src/parser/parser_builder.cpp
@@ -28,26 +28,25 @@
 #include "util/options.h"
 
 namespace CVC4 {
-
 namespace parser {
 
-ParserBuilder::ParserBuilder(ExprManager* exprManager, 
-                             const std::string& filename) : 
+ParserBuilder::ParserBuilder(ExprManager* exprManager,
+                             const std::string& filename) :
   d_filename(filename),
   d_exprManager(exprManager) {
-  init(exprManager,filename);
+  init(exprManager, filename);
 }
 
-ParserBuilder::ParserBuilder(ExprManager* exprManager, 
-                             const std::string& filename, 
+ParserBuilder::ParserBuilder(ExprManager* exprManager,
+                             const std::string& filename,
                              const Options& options) :
   d_filename(filename),
   d_exprManager(exprManager) {
-  init(exprManager,filename);
+  init(exprManager, filename);
   withOptions(options);
 }
 
-void ParserBuilder::init(ExprManager* exprManager, 
+void ParserBuilder::init(ExprManager* exprManager,
                          const std::string& filename) {
   d_inputType = FILE_INPUT;
   d_lang = language::input::LANG_AUTO;
@@ -60,26 +59,26 @@ void ParserBuilder::init(ExprManager* exprManager,
   d_parseOnly = false;
 }
 
-Parser *ParserBuilder::build() 
-  throw (InputStreamException,AssertionException) {
-  Input *input = NULL;
+Parser* ParserBuilder::build()
+  throw (InputStreamException, AssertionException) {
+  Input* input = NULL;
   switch( d_inputType ) {
   case FILE_INPUT:
-    input = Input::newFileInput(d_lang,d_filename,d_mmap);
+    input = Input::newFileInput(d_lang, d_filename, d_mmap);
     break;
   case STREAM_INPUT:
     AlwaysAssert( d_streamInput != NULL,
                   "Uninitialized stream input in ParserBuilder::build()" );
-    input = Input::newStreamInput(d_lang,*d_streamInput,d_filename);
+    input = Input::newStreamInput(d_lang, *d_streamInput, d_filename);
     break;
   case STRING_INPUT:
-    input = Input::newStringInput(d_lang,d_stringInput,d_filename);
+    input = Input::newStringInput(d_lang, d_stringInput, d_filename);
     break;
   default:
     Unreachable();
   }
 
-  Parser *parser = NULL;
+  Parser* parser = NULL;
   switch(d_lang) {
   case language::input::LANG_SMTLIB:
     parser = new Smt(d_exprManager, input, d_strictMode, d_parseOnly);
@@ -162,6 +161,5 @@ ParserBuilder& ParserBuilder::withStringInput(const std::string& input) {
   return *this;
 }
 
-} /* namespace parser */
-
-} /* namespace CVC4 */
+}/* CVC4::parser namespace */
+}/* CVC4 namespace */