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/parser/parser_builder.h | |
parent | e45de2ba8a8c34d3212327ed6f021462c149825c (diff) |
parser/driver fixes for last commit
Diffstat (limited to 'src/parser/parser_builder.h')
-rw-r--r-- | src/parser/parser_builder.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h index 7debc3cf8..0d01104eb 100644 --- a/src/parser/parser_builder.h +++ b/src/parser/parser_builder.h @@ -64,7 +64,7 @@ class CVC4_PUBLIC ParserBuilder { std::istream *d_streamInput; /** The expression manager */ - ExprManager& d_exprManager; + ExprManager* d_exprManager; /** Should semantic checks be enabled during parsing? */ bool d_checksEnabled; @@ -75,14 +75,14 @@ class CVC4_PUBLIC ParserBuilder { /** Should we memory-map a file input? */ bool d_mmap; - void init(ExprManager& exprManager, const std::string& filename); + void init(ExprManager* exprManager, const std::string& filename); public: /** Create a parser builder using the given ExprManager and filename. */ - ParserBuilder(ExprManager& exprManager, const std::string& filename); + ParserBuilder(ExprManager* exprManager, const std::string& filename); - ParserBuilder(ExprManager& exprManager, const std::string& filename, + ParserBuilder(ExprManager* exprManager, const std::string& filename, const Options& options); /** Build the parser, using the current settings. */ @@ -92,7 +92,7 @@ public: ParserBuilder& withChecks(bool flag = true); /** Set the ExprManager to use with the parser. */ - ParserBuilder& withExprManager(ExprManager& exprManager); + ParserBuilder& withExprManager(ExprManager* exprManager); /** Set the parser to read a file for its input. (Default) */ ParserBuilder& withFileInput(); |