diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-09 15:15:52 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-09 15:15:52 -0500 |
| commit | 4e5938c91642f6d1c06285485429cc456abaec84 (patch) | |
| tree | a7446c7a7682845073390801b4f4acc498baccce /src/parser/cvc/Cvc.g | |
| parent | f22f49fb036fae8de4193777fedf35672503b0e7 (diff) | |
| parent | 3740873b8b1ac7e1f2c203b26de6dd1a0ef73f43 (diff) | |
Merge branch 'master' into fix3959fix3959
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)); |