diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-04-14 04:28:44 -0500 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-04-14 04:29:25 -0500 |
commit | b71bbbbc607b5ca0c2bec8b8cf6c7af596d21997 (patch) | |
tree | dde394456e2f9a60fc2335ce52c1bda80e326005 /src/smt | |
parent | d8e31379256a8fc0c6d7993e42fc94a9dc35f4ce (diff) |
Add initial support for co-datatypes.
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/boolean_terms.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/boolean_terms.cpp b/src/smt/boolean_terms.cpp index e46a76ed7..c779af4ff 100644 --- a/src/smt/boolean_terms.cpp +++ b/src/smt/boolean_terms.cpp @@ -228,9 +228,9 @@ const Datatype& BooleanTermConverter::convertDatatype(const Datatype& dt) throw( } vector<Datatype> newDtVector; if(dt.isParametric()) { - newDtVector.push_back(Datatype(dt.getName() + "'", dt.getParameters())); + newDtVector.push_back(Datatype(dt.getName() + "'", dt.getParameters(), false)); } else { - newDtVector.push_back(Datatype(dt.getName() + "'")); + newDtVector.push_back(Datatype(dt.getName() + "'", false)); } Datatype& newDt = newDtVector.front(); Debug("boolean-terms") << "found a Boolean arg in constructor " << (*c).getName() << endl; |