diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-09 14:33:01 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-09 14:33:01 -0500 |
commit | e337310b9f5df6b7ecd0f2e351b9c0e4265e8e69 (patch) | |
tree | 649fee3d9e18e01e4933ceef7099b6ed10d17457 /src/parser/cvc/Cvc.g | |
parent | 9f77ec44decf18fe23c738988281373795dcca0d (diff) |
Clean up more uses of ExprManager in parsers (#3932)
Towards parser migration.
Beyond Datatypes, there are still a handful of calls to the ExprManager in the parsers.
This eliminates a few missing cases from TPTP and also inlines the access of ExprManager in the places its used.
Diffstat (limited to 'src/parser/cvc/Cvc.g')
-rw-r--r-- | src/parser/cvc/Cvc.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 64eb56c74..abfd363f8 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -2331,7 +2331,7 @@ datatypeDef[std::vector<CVC4::Datatype>& datatypes] )* RBRACKET )? { - datatypes.push_back(Datatype(PARSER_STATE->getExprManager(), + datatypes.push_back(Datatype(SOLVER->getExprManager(), id, api::sortVectorToTypes(params), false)); |