diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-04-15 22:17:22 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-04-15 22:17:22 +0000 |
commit | 26d3bdca35e0d6c656c53e15edcbc73f09a05c8c (patch) | |
tree | 305351e1001559e5db8e66cf401c9f39d58ed65d /src/main | |
parent | e45de2ba8a8c34d3212327ed6f021462c149825c (diff) |
parser/driver fixes for last commit
Diffstat (limited to 'src/main')
-rw-r--r-- | src/main/interactive_shell.cpp | 2 | ||||
-rw-r--r-- | src/main/main.cpp | 4 |
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); |