parser/driver fixes for last commit

1 files changed, 8 insertions, 8 deletions

diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp
index 4ecba67c2..38f41f47a 100644
--- a/src/parser/parser_builder.cpp
+++ b/src/parser/parser_builder.cpp
@@ -31,14 +31,14 @@ namespace CVC4 {
 
 namespace parser {
 
-ParserBuilder::ParserBuilder(ExprManager& exprManager, 
+ParserBuilder::ParserBuilder(ExprManager* exprManager, 
                              const std::string& filename) : 
   d_filename(filename),
   d_exprManager(exprManager) {
   init(exprManager,filename);
 }
 
-ParserBuilder::ParserBuilder(ExprManager& exprManager, 
+ParserBuilder::ParserBuilder(ExprManager* exprManager, 
                              const std::string& filename, 
                              const Options& options) :
   d_filename(filename),
@@ -47,7 +47,7 @@ ParserBuilder::ParserBuilder(ExprManager& exprManager,
   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;
@@ -81,13 +81,13 @@ Parser *ParserBuilder::build()
   Parser *parser = NULL;
   switch(d_lang) {
   case language::input::LANG_SMTLIB:
-    parser = new Smt(&d_exprManager, input, d_strictMode);
+    parser = new Smt(d_exprManager, input, d_strictMode);
     break;
   case language::input::LANG_SMTLIB_V2:
-    parser = new Smt2(&d_exprManager, input, d_strictMode);
+    parser = new Smt2(d_exprManager, input, d_strictMode);
     break;
   default:
-    parser = new Parser(&d_exprManager, input, d_strictMode);
+    parser = new Parser(d_exprManager, input, d_strictMode);
   }
 
   if( d_checksEnabled ) {
@@ -104,7 +104,7 @@ ParserBuilder& ParserBuilder::withChecks(bool flag) {
   return *this;
 }
 
-ParserBuilder& ParserBuilder::withExprManager(ExprManager& exprManager) {
+ParserBuilder& ParserBuilder::withExprManager(ExprManager* exprManager) {
   d_exprManager = exprManager;
   return *this;
 }
@@ -131,7 +131,7 @@ ParserBuilder& ParserBuilder::withMmap(bool flag) {
 }
 
 ParserBuilder& ParserBuilder::withOptions(const Options& options) {
-  return 
+  return
     withInputLanguage(options.inputLanguage)
       .withMmap(options.memoryMap)
       .withChecks(options.semanticChecks)