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/compat | |
parent | d8e31379256a8fc0c6d7993e42fc94a9dc35f4ce (diff) |
Add initial support for co-datatypes.
Diffstat (limited to 'src/compat')
-rw-r--r-- | src/compat/cvc3_compat.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp index 27d1249a1..427282490 100644 --- a/src/compat/cvc3_compat.cpp +++ b/src/compat/cvc3_compat.cpp @@ -1189,7 +1189,7 @@ void ValidityChecker::dataType(const std::vector<std::string>& names, // Set up the datatype specifications. for(unsigned i = 0; i < names.size(); ++i) { - CVC4::Datatype dt(names[i]); + CVC4::Datatype dt(names[i], false); CVC4::CheckArgument(constructors[i].size() == selectors[i].size(), "expected sub-vectors in constructors and selectors vectors to match in size"); CVC4::CheckArgument(constructors[i].size() == types[i].size(), "expected sub-vectors in constructors and types vectors to match in size"); for(unsigned j = 0; j < constructors[i].size(); ++j) { |