parser/driver fixes for last commit

1 files changed, 2 insertions, 2 deletions

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);