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.h | |
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.h')
-rw-r--r-- | src/expr/node_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index adba8087c..3646e91c5 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -580,7 +580,7 @@ public: inline TypeNode mkArrayType(TypeNode indexType, TypeNode constituentType); /** Make a type representing a constructor with the given parameterization */ - TypeNode mkConstructorType(const Datatype::Constructor& constructor, TypeNode range); + TypeNode mkConstructorType(const DatatypeConstructor& constructor, TypeNode range); /** Make a type representing a selector with the given parameterization */ inline TypeNode mkSelectorType(TypeNode domain, TypeNode range); |