diff options
Diffstat (limited to 'src/main/main.cpp')
-rw-r--r-- | src/main/main.cpp | 4 |
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); |