diff options
Diffstat (limited to 'src/parser/smt2')
-rw-r--r-- | src/parser/smt2/Smt2.g | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 974de29b2..a093aa1ef 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -824,14 +824,14 @@ datatypeDef[std::vector<CVC4::Datatype>& datatypes] constructorDef[CVC4::Datatype& type] @init { std::string id; - CVC4::Datatype::Constructor* ctor = NULL; + CVC4::DatatypeConstructor* ctor = NULL; } : symbol[id,CHECK_UNDECLARED,SYM_SORT] { // make the tester std::string testerId("is_"); testerId.append(id); PARSER_STATE->checkDeclaration(testerId, CHECK_UNDECLARED, SYM_SORT); - ctor = new CVC4::Datatype::Constructor(id, testerId); + ctor = new CVC4::DatatypeConstructor(id, testerId); } ( LPAREN_TOK selector[*ctor] RPAREN_TOK )* { // make the constructor @@ -841,7 +841,7 @@ constructorDef[CVC4::Datatype& type] } ; -selector[CVC4::Datatype::Constructor& ctor] +selector[CVC4::DatatypeConstructor& ctor] @init { std::string id; Type t, t2; |