diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 90303dd40..3a6b444cc 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -784,7 +784,8 @@ sygusGrammarV1[CVC4::Type & ret, << std::endl; } std::vector<DatatypeType> datatypeTypes = - PARSER_STATE->mkMutualDatatypeTypes(datatypes); + PARSER_STATE->mkMutualDatatypeTypes( + datatypes, false, ExprManager::DATATYPE_FLAG_PLACEHOLDER); ret = datatypeTypes[0]; }; @@ -1068,7 +1069,8 @@ sygusGrammar[CVC4::Type & ret, // now, make the sygus datatype Trace("parser-sygus2") << "Make the sygus datatypes..." << std::endl; std::vector<DatatypeType> datatypeTypes = - PARSER_STATE->mkMutualDatatypeTypes(datatypes); + PARSER_STATE->mkMutualDatatypeTypes( + datatypes, false, ExprManager::DATATYPE_FLAG_PLACEHOLDER); // return is the first datatype ret = datatypeTypes[0]; } |