diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-12 09:07:00 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-06-12 11:07:00 -0500 |
| commit | c83ce8f341f88bbffcae8fd2bfbed5c33abf4f66 (patch) | |
| tree | 913aef18511db45418f26de2ee0f3f892584fcfa /src/parser/parser.cpp | |
| parent | 9925a54ce86e9b0101563c0ace1b973144490528 (diff) | |
Refactor parser to define fewer tokens for symbols (#2936)
Diffstat (limited to 'src/parser/parser.cpp')
| -rw-r--r-- | src/parser/parser.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp index 28489154a..5e036ee69 100644 --- a/src/parser/parser.cpp +++ b/src/parser/parser.cpp @@ -47,8 +47,7 @@ Parser::Parser(api::Solver* solver, Input* input, bool strictMode, bool parseOnly) - : d_solver(solver), - d_resourceManager(d_solver->getExprManager()->getResourceManager()), + : d_resourceManager(solver->getExprManager()->getResourceManager()), d_input(input), d_symtabAllocated(), d_symtab(&d_symtabAllocated), @@ -61,7 +60,8 @@ Parser::Parser(api::Solver* solver, d_parseOnly(parseOnly), d_canIncludeFile(true), d_logicIsForced(false), - d_forcedLogic() + d_forcedLogic(), + d_solver(solver) { d_input->setParser(*this); } |