parser/driver fixes for last commit

2 files changed, 3 insertions, 3 deletions

diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index dc9d0604d..cd7947e2e 100644
--- a/src/main/interactive_shell.cpp
+++ b/src/main/interactive_shell.cpp
@@ -37,7 +37,7 @@ InteractiveShell::InteractiveShell(ExprManager& exprManager,
    d_in(*options.in),
    d_out(*options.out),
    d_language(options.inputLanguage) {
-   ParserBuilder parserBuilder(exprManager,INPUT_FILENAME,options);
+   ParserBuilder parserBuilder(&exprManager,INPUT_FILENAME,options);
    /* Create parser with bogus input. */
    d_parser = parserBuilder.withStringInput("").build();
 }/* InteractiveShell::InteractiveShell() */
diff --git a/src/main/main.cpp b/src/main/main.cpp
index 56c4bb422..23e6cd2ea 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -259,7 +259,7 @@ int runCvc4(int argc, char* argv[]) {
 
   Parser* replayParser = NULL;
   if( options.replayFilename != "" ) {
-    ParserBuilder replayParserBuilder(exprMgr, options.replayFilename, options);
+    ParserBuilder replayParserBuilder(&exprMgr, options.replayFilename, options);
 
     if( options.replayFilename == "-") {
       if( inputFromStdin ) {
@@ -288,7 +288,7 @@ int runCvc4(int argc, char* argv[]) {
     }
   } else {
     ParserBuilder parserBuilder =
-      ParserBuilder(exprMgr, filename, options);
+      ParserBuilder(&exprMgr, filename, options);
 
     if( inputFromStdin ) {
       parserBuilder.withStreamInput(cin);