diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-11-16 03:47:25 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-11-16 03:47:25 +0000 |
commit | f55dfd4df98fbecbd0ef0f86da79d537457109d6 (patch) | |
tree | 8979e0e92e4d228d285c847f4af4913d4d8a7638 /src/expr/node_manager.cpp | |
parent | b9118b75a8ee24a94a693cd3f850c63eb5085ef1 (diff) |
Addressed many of the concerns raised in the public interface review of CVC4 Datatypes (bug #283) by Chris Conway. Thanks, Chris!
Diffstat (limited to 'src/expr/node_manager.cpp')
-rw-r--r-- | src/expr/node_manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 3b4d8ac66..2bf0a864a 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -298,11 +298,11 @@ TypeNode NodeManager::getType(TNode n, bool check) return typeNode; } -TypeNode NodeManager::mkConstructorType(const Datatype::Constructor& constructor, +TypeNode NodeManager::mkConstructorType(const DatatypeConstructor& constructor, TypeNode range) { std::vector<TypeNode> sorts; Debug("datatypes") << "ctor name: " << constructor.getName() << std::endl; - for(Datatype::Constructor::const_iterator i = constructor.begin(); + for(DatatypeConstructor::const_iterator i = constructor.begin(); i != constructor.end(); ++i) { TypeNode selectorType = *(*i).getSelector().getType().d_typeNode; |